- Inductive Full Satisfaction Classes.Henryk Kotlarski & Zygmunt Ratajczyk - 1990 - Annals of Pure and Applied Logic 47 (1):199--223.details
|
|
A Model–Theoretic Approach to Proof Theory.Henryk Kotlarski - 2019 - Cham, Switzerland: Springer Verlag.details
|
|
Notes on bounded induction for the compositional truth predicate.Bartosz Wcisło & Mateusz Łełyk - 2017 - Review of Symbolic Logic 10 (3):455-480.details
|
|
Deflationism and the Godel Phenomena: Reply to Cieslinski.N. Tennant - 2010 - Mind 119 (474):437-450.details
|
|
Troubles with (the concept of) truth in mathematics.Roman Murawski - 2006 - Logic and Logical Philosophy 15 (4):285-303.details
|
|
Recursive Functions and Metamathematics: Problems of Completeness and Decidability, Gödel's Theorems.Rod J. L. Adams & Roman Murawski - 1999 - Dordrecht, Netherland: Springer Verlag.details
|
|
A note on the variety of satisfaction classes.Roman Murawski - 1990 - Archive for Mathematical Logic 30 (2):83-89.details
|
|
Conservativity for theories of compositional truth via cut elimination.Graham E. Leigh - 2015 - Journal of Symbolic Logic 80 (3):845-865.details
|
|
Inductive full satisfaction classes.H. Kotlarski - 1990 - Annals of Pure and Applied Logic 47 (3):199.details
|
|
Disjunctions with stopping conditions.Roman Kossak & Bartosz Wcisło - 2021 - Bulletin of Symbolic Logic 27 (3):231-253.details
|
|
Speaker’s Reference, Semantic Reference, and Intuition.Richard G. Heck - 2018 - Review of Philosophy and Psychology 9 (2):251-269.details
|
|
Consistency and the theory of truth.Richard Heck - 2015 - Review of Symbolic Logic 8 (3):424-466.details
|
|
The Function of Truth and the Conservativeness Argument.Kentaro Fujimoto - 2022 - Mind 131 (521):129-157.details
|
|
The omega-rule interpretation of transfinite provability logic.David Fernández-Duque & Joost J. Joosten - 2018 - Annals of Pure and Applied Logic 169 (4):333-371.details
|
|
European Summer Meeting of the Association for Symbolic Logic (Logic Colloquium'88), Padova, 1988.R. Ferro - 1990 - Journal of Symbolic Logic 55 (1):387-435.details
|
|
A theory of implicit commitment.Mateusz Łełyk & Carlo Nicolai - 2022 - Synthese 200 (4):1-26.details
|
|
Local collection and end-extensions of models of compositional truth.Mateusz Łełyk & Bartosz Wcisło - 2021 - Annals of Pure and Applied Logic 172 (6):102941.details
|
|
Model Theory and Proof Theory of the Global Reflection Principle.Mateusz Zbigniew Łełyk - 2023 - Journal of Symbolic Logic 88 (2):738-779.details
|
|
Truth, disjunction, and induction.Ali Enayat & Fedor Pakhomov - 2019 - Archive for Mathematical Logic 58 (5-6):753-766.details
|
|
Axiomatizations of Peano Arithmetic: A Truth-Theoretic View.Ali Enayat & Mateusz Łełyk - 2023 - Journal of Symbolic Logic 88 (4):1526-1555.details
|
|
European Summer Meeting of the Association for Symbolic Logic, , Granada, Spain, 1987.H. -D. Ebbinghaus, J. Fernández-Prida, M. Garrido, D. Lascar & M. Rodriguez Artalejo - 1989 - Journal of Symbolic Logic 54 (2):647-672.details
|
|
Truth, Conservativeness, and Provability.Cezary Cieśliński - 2010 - Mind 119 (474):409-422.details
|
|
Deflationary Truth and Pathologies.Cezary Cieśliński - 2010 - Journal of Philosophical Logic 39 (3):325-337.details
|
|
Reflection algebras and conservation results for theories of iterated truth.Lev D. Beklemishev & Fedor N. Pakhomov - 2022 - Annals of Pure and Applied Logic 173 (5):103093.details
|
|
Frege's Principle.Richard Heck - 1995 - In J. Hintikka (ed.), From Dedekind to Gödel: Essays on the Development of the Foundations of Mathematics. Kluwer Academic Publishers.details
|
|
The Strength of Truth-Theories.Richard Heck - manuscriptdetails
|
|
Strong and Weak Truth Principles.Bartosz Wcisło Mateusz Łełyk - 2017 - Studia Semiotyczne—English Supplement 29:107-126.details
|
|