Bobzien, Susanne Stoic sequent logic and proof theory. (English) Zbl 1427.03061 Hist. Philos. Log. 40, No. 3, 234-265 (2019). MSC: 03F03 03B47 03-03 01A20 PDFBibTeX XMLCite \textit{S. Bobzien}, Hist. Philos. Log. 40, No. 3, 234--265 (2019; Zbl 1427.03061) Full Text: DOI Link
Lampert, Timm Wittgenstein’s \(ab\)-notation: an iconic proof procedure. (English) Zbl 1417.03082 Hist. Philos. Log. 38, No. 3, 239-262 (2017). MSC: 03A05 03-03 03F03 01A60 PDFBibTeX XMLCite \textit{T. Lampert}, Hist. Philos. Log. 38, No. 3, 239--262 (2017; Zbl 1417.03082) Full Text: DOI
Cardone, Felice Continuity in semantic theories of programming. (English) Zbl 1359.68003 Hist. Philos. Log. 36, No. 3, 242-261 (2015). MSC: 68-03 68N30 68Q55 PDFBibTeX XMLCite \textit{F. Cardone}, Hist. Philos. Log. 36, No. 3, 242--261 (2015; Zbl 1359.68003) Full Text: DOI Link
Wille, Matthias Book review of: W. Sieg, Hilbert’s programs and beyond. (English) Zbl 1308.00035 Hist. Philos. Log. 35, No. 2, 215-217 (2014). MSC: 00A17 01-06 00A30 00B60 01A55 01A60 01A61 01A70 03-03 03A05 03A10 03F03 PDFBibTeX XMLCite \textit{M. Wille}, Hist. Philos. Log. 35, No. 2, 215--217 (2014; Zbl 1308.00035) Full Text: DOI
Poggiolesi, F. Book review of: S. Negri and J. von Plato, Proof analysis. A contribution to Hilbert’s last problem. (English) Zbl 1308.00024 Hist. Philos. Log. 34, No. 1, 98-99 (2013). MSC: 00A17 03-02 03F03 03F07 03D40 03B30 PDFBibTeX XMLCite \textit{F. Poggiolesi}, Hist. Philos. Log. 34, No. 1, 98--99 (2013; Zbl 1308.00024) Full Text: DOI
Mares, Edwin A Lewisian semantics for S2. (English) Zbl 1312.03024 Hist. Philos. Log. 34, No. 1, 53-67 (2013). MSC: 03B45 03-03 01A60 PDFBibTeX XMLCite \textit{E. Mares}, Hist. Philos. Log. 34, No. 1, 53--67 (2013; Zbl 1312.03024) Full Text: DOI
Schumann, Andrew Qal wa-ḥomer and theory of massive-parallel proofs. (English) Zbl 1231.03006 Hist. Philos. Log. 32, No. 1, 71-83 (2011). MSC: 03A05 03F03 68Q80 PDFBibTeX XMLCite \textit{A. Schumann}, Hist. Philos. Log. 32, No. 1, 71--83 (2011; Zbl 1231.03006) Full Text: DOI
Franks, Curtis Cut as consequence. (English) Zbl 1298.03005 Hist. Philos. Log. 31, No. 4, 349-379 (2010). Reviewer: Reinhard Kahle (Lisboa) MSC: 03-03 01A60 03F03 03F05 PDFBibTeX XMLCite \textit{C. Franks}, Hist. Philos. Log. 31, No. 4, 349--379 (2010; Zbl 1298.03005) Full Text: DOI
Hailperin, Theodore Logic semantics with the potential infinite. (English) Zbl 1202.03011 Hist. Philos. Log. 31, No. 2, 145-159 (2010). MSC: 03A05 PDFBibTeX XMLCite \textit{T. Hailperin}, Hist. Philos. Log. 31, No. 2, 145--159 (2010; Zbl 1202.03011) Full Text: DOI
Sedlar, Igor C. I. Lewis on possible worlds. (English) Zbl 1187.03005 Hist. Philos. Log. 30, No. 3, 283-291 (2009). MSC: 03-03 01A60 03B45 PDFBibTeX XMLCite \textit{I. Sedlar}, Hist. Philos. Log. 30, No. 3, 283--291 (2009; Zbl 1187.03005) Full Text: DOI
Mancosu, Paolo Harvard 1940–1941: Tarski, Carnap and Quine on a finitistic language of mathematics for science. (English) Zbl 1095.03006 Hist. Philos. Log. 26, No. 4, 327-357 (2005). Reviewer: Chris Pincock (West Lafayette) MSC: 03-03 01A60 03A05 00A30 PDFBibTeX XMLCite \textit{P. Mancosu}, Hist. Philos. Log. 26, No. 4, 327--357 (2005; Zbl 1095.03006) Full Text: DOI
Dutilh Novaes, Catarina Buridan’s consequentia: consequence and inference within a token-based semantics. (English) Zbl 1096.03002 Hist. Philos. Log. 26, No. 4, 277-297 (2005). Reviewer: Jim Mackenzie (Sydney) MSC: 03-03 01A35 PDFBibTeX XMLCite \textit{C. Dutilh Novaes}, Hist. Philos. Log. 26, No. 4, 277--297 (2005; Zbl 1096.03002) Full Text: DOI
Klima, Gyula Consequences of a closed, token-based semantics: the case of John Buridan. (English) Zbl 1058.03514 Hist. Philos. Log. 25, No. 2, 95-110 (2004). MSC: 03B65 03A05 PDFBibTeX XMLCite \textit{G. Klima}, Hist. Philos. Log. 25, No. 2, 95--110 (2004; Zbl 1058.03514) Full Text: DOI
Martin, John N. Aristotle’s natural deduction reconsidered. (English) Zbl 0885.03001 Hist. Philos. Log. 18, No. 1, 1-15 (1997). MSC: 03-03 03A05 01A60 03F03 01A20 PDFBibTeX XMLCite \textit{J. N. Martin}, Hist. Philos. Log. 18, No. 1, 1--15 (1997; Zbl 0885.03001) Full Text: DOI
Mortensen, Chris Prior and Rennie on times and tenses. (English) Zbl 0832.03009 Hist. Philos. Log. 16, No. 1, 65-73 (1995). MSC: 03B45 03-03 PDFBibTeX XMLCite \textit{C. Mortensen}, Hist. Philos. Log. 16, No. 1, 65--73 (1995; Zbl 0832.03009) Full Text: DOI
Swoyer, Chris C. I. Lewis’s calculus of predicates. (English) Zbl 0832.03004 Hist. Philos. Log. 16, No. 1, 19-37 (1995). MSC: 03-03 03B45 01A60 PDFBibTeX XMLCite \textit{C. Swoyer}, Hist. Philos. Log. 16, No. 1, 19--37 (1995; Zbl 0832.03004) Full Text: DOI
Johnson, Fred Modal ecthesis. (English) Zbl 0791.03002 Hist. Philos. Log. 14, No. 2, 171-182 (1993). MSC: 03A05 PDFBibTeX XMLCite \textit{F. Johnson}, Hist. Philos. Log. 14, No. 2, 171--182 (1993; Zbl 0791.03002) Full Text: DOI
Simmons, Keith On a medieval solution to the liar paradox. (English) Zbl 0643.03002 Hist. Philos. Log. 8, 121-140 (1987). Reviewer: J.Mackenzie MSC: 03A05 03-03 01A35 PDFBibTeX XMLCite \textit{K. Simmons}, Hist. Philos. Log. 8, 121--140 (1987; Zbl 0643.03002) Full Text: DOI
Martin, John N. The semantics of Frege’s Grundgesetze. (English) Zbl 0552.03003 Hist. Philos. Logic 5, 143-176 (1984). Reviewer: L.Löfgren MSC: 03A05 03B50 PDFBibTeX XMLCite \textit{J. N. Martin}, Hist. Philos. Log. 5, 143--176 (1984; Zbl 0552.03003) Full Text: DOI
Corcoran, John Categoricity. (English) Zbl 0504.03014 Hist. Philos. Logic 1, 187-207 (1980). MSC: 03C35 03A05 PDFBibTeX XMLCite \textit{J. Corcoran}, Hist. Philos. Log. 1, 187--207 (1980; Zbl 0504.03014) Full Text: DOI