Jump to content

User contributions for 82.25.27.218

Results for 82.25.27.218 talk block log logs global block log filter log

Search for contributionsshowhide

⧼contribs-top⧽

Username, IP address or CIDR range:

Namespace:

Invert selection

Associated namespace

Tag filter:

Invert selection

Only show edits that are latest revisions

Only show edits that are page creations

Hide minor edits

⧼contribs-date⧽

From date:

To date:

Show only edits pending review

Hide probably good edits

14:1414:14, 5 April 2024 diff hist +4 Wolfgang Rautenberg No edit summary
14:1114:11, 5 April 2024 diff hist +34 Wim Blok No edit summary current

16:4916:49, 3 April 2024 diff hist +27 Modal companion No edit summary current
13:1813:18, 3 April 2024 diff hist +42 Gödel logic No edit summary

17:0317:03, 2 April 2024 diff hist +16 J. C. C. McKinsey No edit summary
16:5916:59, 2 April 2024 diff hist +17 Markov's principle No edit summary
16:4316:43, 2 April 2024 diff hist +27 Friedman translation No edit summary Tag: Disambiguation links added
16:3816:38, 2 April 2024 diff hist +70 Heyting arithmetic No edit summary
15:0015:00, 2 April 2024 diff hist +21 Hyperarithmetical theory No edit summary current
14:5914:59, 2 April 2024 diff hist −1 Pointclass No edit summary current
14:4214:42, 2 April 2024 diff hist +224 Hyperarithmetical theory No edit summary
11:4411:44, 2 April 2024 diff hist +95 Turing reduction No edit summary

22:3122:31, 1 April 2024 diff hist +14 Truth-table reduction No edit summary
20:1320:13, 1 April 2024 diff hist +182 Arithmetical hierarchy No edit summary
20:1120:11, 1 April 2024 diff hist +32 Many-one reduction No edit summary
19:4819:48, 1 April 2024 diff hist +311 Analytical hierarchy No edit summary
17:4517:45, 1 April 2024 diff hist +8 Second-order arithmetic No edit summary
16:0516:05, 1 April 2024 diff hist +26 Course-of-values recursion →References current
15:2115:21, 1 April 2024 diff hist +60 Double-negation translation No edit summary current
15:1315:13, 1 April 2024 diff hist +66 Minimal logic No edit summary
12:1012:10, 1 April 2024 diff hist +12 Ingebrigt Johansson No edit summary

23:0923:09, 5 January 2024 diff hist +59 Zermelo's theorem (game theory) No edit summary
18:3718:37, 5 January 2024 diff hist +107 Game semantics No edit summary
18:2718:27, 5 January 2024 diff hist +81 Andreas Blass No edit summary
18:0718:07, 5 January 2024 diff hist +212 Dialogical logic No edit summary
15:3415:34, 5 January 2024 diff hist +70 Truth-value semantics No edit summary
15:2715:27, 5 January 2024 diff hist +64 Logical constant No edit summary
14:1114:11, 5 January 2024 diff hist +127 Jon Michael Dunn No edit summary
13:5613:56, 5 January 2024 diff hist +56 Intensional logic No edit summary
13:4213:42, 5 January 2024 diff hist +79 Transparent intensional logic No edit summary current
13:3513:35, 5 January 2024 diff hist +4 Pavel Tichý No edit summary
12:1412:14, 5 January 2024 diff hist −9 Semantics of logic No edit summary
12:0912:09, 5 January 2024 diff hist +4 Truth-conditional semantics No edit summary current
12:0312:03, 5 January 2024 diff hist +45 Noncommutative logic No edit summary
11:5811:58, 5 January 2024 diff hist +53 Logical harmony No edit summary current

20:5020:50, 4 January 2024 diff hist +121 Focused proof No edit summary
20:3020:30, 4 January 2024 diff hist +130 Harrop formula No edit summary
20:1120:11, 4 January 2024 diff hist +218 Dale Miller (academic) No edit summary Tag: possible unreferenced addition to BLP
18:5718:57, 4 January 2024 diff hist +20 Higher-order abstract syntax No edit summary current
18:4518:45, 4 January 2024 diff hist +68 Abstract syntax No edit summary
16:1116:11, 4 January 2024 diff hist +3 Sequent calculus No edit summary
15:1015:10, 4 January 2024 diff hist +4 Subjunctive possibility No edit summary current
15:0915:09, 4 January 2024 diff hist +4 Norman Swartz No edit summary current
14:5714:57, 4 January 2024 diff hist +6 John Lemmon No edit summary
14:5214:52, 4 January 2024 diff hist +8 Stanisław Jaśkowski No edit summary
01:3001:30, 4 January 2024 diff hist +79 Geometry of interaction No edit summary

21:5921:59, 3 January 2024 diff hist +46 Proof net No edit summary
21:5321:53, 3 January 2024 diff hist +106 Linear logic No edit summary
19:0319:03, 3 January 2024 diff hist +49 Double-negation translation No edit summary
18:5518:55, 3 January 2024 diff hist +27 Sigekatu Kuroda No edit summary

Retrieved from "https://en.wikipedia.org/wiki/Special:Contributions/82.25.27.218"