Kripke, Saul A. Gödel’s theorem and direct self-reference. (English) Zbl 07689504 Rev. Symb. Log. 16, No. 2, 650-654 (2023). MSC: 03-03 03B10 PDFBibTeX XMLCite \textit{S. A. Kripke}, Rev. Symb. Log. 16, No. 2, 650--654 (2023; Zbl 07689504) Full Text: DOI arXiv
Indrzejczak, Andrzej Russellian definite description theory – a proof theoretic approach. (English) Zbl 1522.03315 Rev. Symb. Log. 16, No. 2, 624-649 (2023). Reviewer: Branislav Boričić (Beograd) MSC: 03F03 03F05 03B10 PDFBibTeX XMLCite \textit{A. Indrzejczak}, Rev. Symb. Log. 16, No. 2, 624--649 (2023; Zbl 1522.03315) Full Text: DOI
Pavlović, Edi; Gratzl, Norbert Abstract forms of quantification in the quantified argument calculus. (English) Zbl 07689496 Rev. Symb. Log. 16, No. 2, 449-479 (2023). MSC: 03F05 03B10 03B65 PDFBibTeX XMLCite \textit{E. Pavlović} and \textit{N. Gratzl}, Rev. Symb. Log. 16, No. 2, 449--479 (2023; Zbl 07689496) Full Text: DOI
Grabmayr, Balthasar; Visser, Albert Self-reference upfront: a study of self-referential Gödel numberings. (English) Zbl 07689494 Rev. Symb. Log. 16, No. 2, 385-424 (2023). Reviewer: Saeed Salehi (Tabriz) MSC: 03A05 03F30 03F40 PDFBibTeX XMLCite \textit{B. Grabmayr} and \textit{A. Visser}, Rev. Symb. Log. 16, No. 2, 385--424 (2023; Zbl 07689494) Full Text: DOI arXiv
Carnielli, Walter; Coniglio, Marcelo E.; Fuenmayor, David Logics of formal inconsistency enriched with replacement: An algebraic and modal account. (English) Zbl 07576543 Rev. Symb. Log. 15, No. 3, 771-806 (2022). MSC: 03B45 03G25 03B62 03B53 PDFBibTeX XMLCite \textit{W. Carnielli} et al., Rev. Symb. Log. 15, No. 3, 771--806 (2022; Zbl 07576543) Full Text: DOI arXiv
Badia, Guillermo; Cintula, Petr; Hájek, Petr; Tedder, Andrew How much propositional logic suffices for Rosser’s essential undecidability theorem? (English) Zbl 1500.03004 Rev. Symb. Log. 15, No. 2, 487-504 (2022). Reviewer: Branislav Boričić (Beograd) MSC: 03B25 03B47 03B52 03F30 PDFBibTeX XMLCite \textit{G. Badia} et al., Rev. Symb. Log. 15, No. 2, 487--504 (2022; Zbl 1500.03004) Full Text: DOI arXiv
Madarász, Judit X.; Stannett, Mike; Székely, Gergely Groups of worldview transformations implied by Einstein’s special principle of relativity over arbitrary ordered fields. (English) Zbl 07531428 Rev. Symb. Log. 15, No. 2, 334-361 (2022). MSC: 03B30 83A05 03B80 20G15 12J15 PDFBibTeX XMLCite \textit{J. X. Madarász} et al., Rev. Symb. Log. 15, No. 2, 334--361 (2022; Zbl 07531428) Full Text: DOI
Meissner, Silke; Otto, Martin A first-order framework for inquisitive modal logic. (English) Zbl 1500.03007 Rev. Symb. Log. 15, No. 2, 311-333 (2022). Reviewer: David Makinson (London) MSC: 03B45 03B42 03C80 PDFBibTeX XMLCite \textit{S. Meissner} and \textit{M. Otto}, Rev. Symb. Log. 15, No. 2, 311--333 (2022; Zbl 1500.03007) Full Text: DOI arXiv
Field, Hartry The power of naive truth. (English) Zbl 07493115 Rev. Symb. Log. 15, No. 1, 225-258 (2022). MSC: 03A05 03B20 03B50 03F30 PDFBibTeX XMLCite \textit{H. Field}, Rev. Symb. Log. 15, No. 1, 225--258 (2022; Zbl 07493115) Full Text: DOI
Landini, Gregory Tractarian logicism: operations, numbers, induction. (English) Zbl 1517.03001 Rev. Symb. Log. 14, No. 4, 973-1010 (2021). MSC: 03-03 03F30 03A05 01A60 PDFBibTeX XMLCite \textit{G. Landini}, Rev. Symb. Log. 14, No. 4, 973--1010 (2021; Zbl 1517.03001) Full Text: DOI
Grabmayr, Balthasar On the invariance of Gödel’s second theorem with regard to numberings. (English) Zbl 1487.03070 Rev. Symb. Log. 14, No. 1, 51-84 (2021). Reviewer: Saeed Salehi (Tabriz) MSC: 03F40 03A05 03B25 03F30 PDFBibTeX XMLCite \textit{B. Grabmayr}, Rev. Symb. Log. 14, No. 1, 51--84 (2021; Zbl 1487.03070) Full Text: DOI arXiv
Lampert, Timm; Säbel, Markus Wittgenstein’s elimination of identity for quantifier-free logic. (English) Zbl 1483.03001 Rev. Symb. Log. 14, No. 1, 1-21 (2021). Reviewer: Victor V. Pambuccian (Glendale) MSC: 03-03 03A05 03B10 03B60 01A60 PDFBibTeX XMLCite \textit{T. Lampert} and \textit{M. Säbel}, Rev. Symb. Log. 14, No. 1, 1--21 (2021; Zbl 1483.03001) Full Text: DOI
Coniglio, Marcelo E.; Gomez-Pereira, G. T.; Figallo, Martín Some model-theoretic results on the 3-valued paraconsistent first-order logic QCIORE. (English) Zbl 07374086 Rev. Symb. Log. 14, No. 1, 187-224 (2021). MSC: 03B53 03B50 03C90 PDFBibTeX XMLCite \textit{M. E. Coniglio} et al., Rev. Symb. Log. 14, No. 1, 187--224 (2021; Zbl 07374086) Full Text: DOI arXiv
Dean, Walter Incompleteness via paradox and completeness. (English) Zbl 1485.03244 Rev. Symb. Log. 13, No. 3, 541-592 (2020). MSC: 03F40 03F30 03C62 03H15 03A05 PDFBibTeX XMLCite \textit{W. Dean}, Rev. Symb. Log. 13, No. 3, 541--592 (2020; Zbl 1485.03244) Full Text: DOI
Visser, Albert Another look at the second incompleteness theorem. (English) Zbl 1444.03168 Rev. Symb. Log. 13, No. 2, 269-295 (2020). Reviewer: Victor V. Pambuccian (Glendale) MSC: 03F40 03B25 03F25 03F30 03F45 03A05 PDFBibTeX XMLCite \textit{A. Visser}, Rev. Symb. Log. 13, No. 2, 269--295 (2020; Zbl 1444.03168) Full Text: DOI
Paseau, Alexander Capturing consequence. (English) Zbl 07063892 Rev. Symb. Log. 12, No. 2, 271-295 (2019). MSC: 03A05 03B05 03B10 03B16 03B65 PDFBibTeX XMLCite \textit{A. Paseau}, Rev. Symb. Log. 12, No. 2, 271--295 (2019; Zbl 07063892) Full Text: DOI
Restall, Greg Generality and existence. I: quantification and free logic. (English) Zbl 07063877 Rev. Symb. Log. 12, No. 1, 1-29 (2019). MSC: 03B20 03B10 03F05 PDFBibTeX XMLCite \textit{G. Restall}, Rev. Symb. Log. 12, No. 1, 1--29 (2019; Zbl 07063877) Full Text: DOI
Lanzet, Ran A three-valued quantified argument calculus: domain-free model-theory, completeness, and embedding of FOL. (English) Zbl 1421.03013 Rev. Symb. Log. 10, No. 3, 549-582 (2017). MSC: 03B65 03B50 03B10 PDFBibTeX XMLCite \textit{R. Lanzet}, Rev. Symb. Log. 10, No. 3, 549--582 (2017; Zbl 1421.03013) Full Text: DOI
Madarász, Judit X.; Székely, Gergely; Stannett, Mike Three different formalisations of Einstein’s relativity principle. (English) Zbl 1421.03004 Rev. Symb. Log. 10, No. 3, 530-548 (2017). MSC: 03B30 03B80 83A05 PDFBibTeX XMLCite \textit{J. X. Madarász} et al., Rev. Symb. Log. 10, No. 3, 530--548 (2017; Zbl 1421.03004) Full Text: DOI arXiv
Nicolai, Carlo Equivalences for truth predicates. (English) Zbl 1417.03293 Rev. Symb. Log. 10, No. 2, 322-356 (2017). MSC: 03F25 03F30 03F35 03A05 PDFBibTeX XMLCite \textit{C. Nicolai}, Rev. Symb. Log. 10, No. 2, 322--356 (2017; Zbl 1417.03293) Full Text: DOI
Cieśliński, Cezary; Łełyk, Mateusz; Wcisło, Bartosz Models of \(\mathrm{PT}^-\) with internal induction for total formulae. (English) Zbl 1417.03294 Rev. Symb. Log. 10, No. 1, 187-202 (2017). MSC: 03F30 03F25 03A05 PDFBibTeX XMLCite \textit{C. Cieśliński} et al., Rev. Symb. Log. 10, No. 1, 187--202 (2017; Zbl 1417.03294) Full Text: DOI
Barrett, Thomas William; Halvorson, Hans Morita equivalence. (English) Zbl 1397.03017 Rev. Symb. Log. 9, No. 3, 556-582 (2016). Reviewer: Jānis Cīrulis (Riga) MSC: 03B30 03G30 03B10 03C07 PDFBibTeX XMLCite \textit{T. W. Barrett} and \textit{H. Halvorson}, Rev. Symb. Log. 9, No. 3, 556--582 (2016; Zbl 1397.03017) Full Text: DOI arXiv
Bellotti, Luca Von Neumann’s consistency proof. (English) Zbl 1415.03005 Rev. Symb. Log. 9, No. 3, 429-455 (2016). Reviewer: Leszek Aleksander Kołodziejczyk (Warszawa) MSC: 03-03 03F30 03F25 03F20 01A60 PDFBibTeX XMLCite \textit{L. Bellotti}, Rev. Symb. Log. 9, No. 3, 429--455 (2016; Zbl 1415.03005) Full Text: DOI
Siders, Annika From Stenius’ consistency proof to Schütte’s cut elimination for \(\omega\)-arithmetic. (English) Zbl 1401.03099 Rev. Symb. Log. 9, No. 1, 1-22 (2016). Reviewer: Reinhard Kahle (Lisboa) MSC: 03F05 03F30 03-03 01A60 PDFBibTeX XMLCite \textit{A. Siders}, Rev. Symb. Log. 9, No. 1, 1--22 (2016; Zbl 1401.03099) Full Text: DOI
Ripley, David Naive set theory and nontransitive logic. (English) Zbl 1347.03094 Rev. Symb. Log. 8, No. 3, 553-571 (2015). MSC: 03E70 03B10 03F03 03A05 PDFBibTeX XMLCite \textit{D. Ripley}, Rev. Symb. Log. 8, No. 3, 553--571 (2015; Zbl 1347.03094) Full Text: DOI
Heck, Richard G. jun. Consistency and the theory of truth. (English) Zbl 1375.03009 Rev. Symb. Log. 8, No. 3, 424-466 (2015). MSC: 03A05 03F30 03F25 PDFBibTeX XMLCite \textit{R. G. Heck jun.}, Rev. Symb. Log. 8, No. 3, 424--466 (2015; Zbl 1375.03009) Full Text: DOI
Fischer, Martin; Horsten, Leon The expressive power of truth. (English) Zbl 1382.03014 Rev. Symb. Log. 8, No. 2, 345-369 (2015). MSC: 03A05 03F30 PDFBibTeX XMLCite \textit{M. Fischer} and \textit{L. Horsten}, Rev. Symb. Log. 8, No. 2, 345--369 (2015; Zbl 1382.03014) Full Text: DOI
Fischer, Martin Truth and speed-up. (English) Zbl 1329.03090 Rev. Symb. Log. 7, No. 2, 319-340 (2014). MSC: 03F30 03A05 PDFBibTeX XMLCite \textit{M. Fischer}, Rev. Symb. Log. 7, No. 2, 319--340 (2014; Zbl 1329.03090) Full Text: DOI
Schindler, Thomas Axioms for grounded truth. (English) Zbl 1329.03024 Rev. Symb. Log. 7, No. 1, 73-83 (2014). MSC: 03A05 03F30 PDFBibTeX XMLCite \textit{T. Schindler}, Rev. Symb. Log. 7, No. 1, 73--83 (2014; Zbl 1329.03024) Full Text: DOI
Antonelli, G. Aldo On the general interpretation of first-order quantifiers. (English) Zbl 1319.03034 Rev. Symb. Log. 6, No. 4, 637-658 (2013). MSC: 03B10 03C80 PDFBibTeX XMLCite \textit{G. A. Antonelli}, Rev. Symb. Log. 6, No. 4, 637--658 (2013; Zbl 1319.03034) Full Text: DOI
Suzuki, Tomoyuki A Sahlqvist theorem for substructural logic. (English) Zbl 1282.03014 Rev. Symb. Log. 6, No. 2, 229-253 (2013). Reviewer: Gemma Robles (León) MSC: 03B47 PDFBibTeX XMLCite \textit{T. Suzuki}, Rev. Symb. Log. 6, No. 2, 229--253 (2013; Zbl 1282.03014) Full Text: DOI
Sandqvist, Tor The subformula property in classical natural deduction established constructively. (English) Zbl 1283.03067 Rev. Symb. Log. 5, No. 4, 710-719 (2012). MSC: 03C07 03B10 PDFBibTeX XMLCite \textit{T. Sandqvist}, Rev. Symb. Log. 5, No. 4, 710--719 (2012; Zbl 1283.03067) Full Text: DOI
Ripley, David Conservatively extending classical logic with transparent truth. (English) Zbl 1248.03012 Rev. Symb. Log. 5, No. 2, 354-378 (2012). Reviewer: Pavel Materna (Praha) MSC: 03A05 03B10 03B50 PDFBibTeX XMLCite \textit{D. Ripley}, Rev. Symb. Log. 5, No. 2, 354--378 (2012; Zbl 1248.03012) Full Text: DOI
von Plato, Jan; Siders, Annika Normal derivability in classical natural deduction. (English) Zbl 1248.03077 Rev. Symb. Log. 5, No. 2, 205-211 (2012). Reviewer: Andrzej Indrzejczak (Łódź) MSC: 03F05 03B10 03B20 03B45 PDFBibTeX XMLCite \textit{J. von Plato} and \textit{A. Siders}, Rev. Symb. Log. 5, No. 2, 205--211 (2012; Zbl 1248.03077) Full Text: DOI
Więckowski, Bartosz Rules for subatomic derivation. (English) Zbl 1252.03125 Rev. Symb. Log. 4, No. 2, 219-236 (2011). MSC: 03F05 03B10 PDFBibTeX XMLCite \textit{B. Więckowski}, Rev. Symb. Log. 4, No. 2, 219--236 (2011; Zbl 1252.03125) Full Text: DOI
Hodkinson, Ian The bounded fragment and hybrid logic with polyadic modalities. (English) Zbl 1207.03023 Rev. Symb. Log. 3, No. 2, 279-286 (2010). Reviewer: Damas Gruska (Bratislava) MSC: 03B45 03B70 PDFBibTeX XMLCite \textit{I. Hodkinson}, Rev. Symb. Log. 3, No. 2, 279--286 (2010; Zbl 1207.03023) Full Text: DOI
Hájek, Petr Some (non)tautologies of Łukasiewicz and product logic. (English) Zbl 1209.03017 Rev. Symb. Log. 3, No. 2, 273-278 (2010). Reviewer: Stefano Aguzzoli (Milano) MSC: 03B50 03B52 PDFBibTeX XMLCite \textit{P. Hájek}, Rev. Symb. Log. 3, No. 2, 273--278 (2010; Zbl 1209.03017) Full Text: DOI
Hodkinson, Ian; Tahiri, Hicham A bisimulation characterization theorem for hybrid logic with the current-state binder. (English) Zbl 1207.03024 Rev. Symb. Log. 3, No. 2, 247-261 (2010). Reviewer: Damas Gruska (Bratislava) MSC: 03B45 03B70 PDFBibTeX XMLCite \textit{I. Hodkinson} and \textit{H. Tahiri}, Rev. Symb. Log. 3, No. 2, 247--261 (2010; Zbl 1207.03024) Full Text: DOI
Milne, Peter Subformula and separation properties in natural deduction via small Kripke models. (English) Zbl 1204.03054 Rev. Symb. Log. 3, No. 2, 175-227 (2010). Reviewer: G. E. Mints (Stanford) MSC: 03F07 03B05 03B10 03B20 03B55 03F05 PDFBibTeX XMLCite \textit{P. Milne}, Rev. Symb. Log. 3, No. 2, 175--227 (2010; Zbl 1204.03054) Full Text: DOI
Ganea, Mihai Two (or three) notions of finitism. (English) Zbl 1206.03005 Rev. Symb. Log. 3, No. 1, 119-144 (2010). MSC: 03A05 00A30 03F30 PDFBibTeX XMLCite \textit{M. Ganea}, Rev. Symb. Log. 3, No. 1, 119--144 (2010; Zbl 1206.03005) Full Text: DOI
Fischer, Martin Minimal truth and interpretability. (English) Zbl 1188.03003 Rev. Symb. Log. 2, No. 4, 799-815 (2009). Reviewer: Branislav Boričić (Beograd) MSC: 03A05 03F30 03F35 PDFBibTeX XMLCite \textit{M. Fischer}, Rev. Symb. Log. 2, No. 4, 799--815 (2009; Zbl 1188.03003) Full Text: DOI
Halbach, Volker Reducing compositional to disquotational truth. (English) Zbl 1188.03004 Rev. Symb. Log. 2, No. 4, 786-798 (2009). Reviewer: Branislav Boričić (Beograd) MSC: 03A05 03F30 PDFBibTeX XMLCite \textit{V. Halbach}, Rev. Symb. Log. 2, No. 4, 786--798 (2009; Zbl 1188.03004) Full Text: DOI
Goldblatt, Robert Conservativity of Heyting implication over relevant quantification. (English) Zbl 1170.03010 Rev. Symb. Log. 2, No. 2, 310-341 (2009). MSC: 03B47 PDFBibTeX XMLCite \textit{R. Goldblatt}, Rev. Symb. Log. 2, No. 2, 310--341 (2009; Zbl 1170.03010) Full Text: DOI
Feferman, Solomon Axioms for determinateness and truth. (English) Zbl 1204.03007 Rev. Symb. Log. 1, No. 2, 204-217 (2008). MSC: 03A05 03F30 PDFBibTeX XMLCite \textit{S. Feferman}, Rev. Symb. Log. 1, No. 2, 204--217 (2008; Zbl 1204.03007) Full Text: DOI
Awodey, Steve; Kishida, Kohei Topology and modality: the topological interpretation of first-order modal logic. (English) Zbl 1204.03023 Rev. Symb. Log. 1, No. 2, 146-166 (2008). MSC: 03B45 PDFBibTeX XMLCite \textit{S. Awodey} and \textit{K. Kishida}, Rev. Symb. Log. 1, No. 2, 146--166 (2008; Zbl 1204.03023) Full Text: DOI