Search results
From MaRDI portal
- Johannes Stern (section List of research outcomes)Paper MODALITY AND AXIOMATIC THEORIES OF TRUTH I: FRIEDMAN-SHEARD 2015-01-21 Paper MODALITY AND AXIOMATIC THEORIES OF TRUTH II: KRIPKE-FEFERMAN 2015-01-21...10 bytes (13 words) - 13:06, 6 October 2023
- logics of strict-tolerant logic 2016-03-08 Paper NOTES ONω-INCONSISTENT THEORIES OF TRUTH IN SECOND-ORDER LANGUAGES 2014-05-02 Paper Theories of truth without...10 bytes (16 words) - 21:09, 9 December 2023
- Volker Halbach (section List of research outcomes)2001-07-16 Paper Truth and reduction 2001-02-22 Paper On Lehrer's principle of trustworthiness 2001-01-14 Paper Conservative theories of classical truth 2000-02-15...10 bytes (13 words) - 22:44, 24 September 2023
- Date of Publication Type A cartography of LFIs and truth 2024-10-24 Paper On all pure three-valued logics 2024-02-08 Paper Anti-exceptionalism, truth and...10 bytes (15 words) - 22:31, 24 September 2023
- Andrea Cantini (section List of research outcomes)Notes on Formal Theories of Truth 1989-01-01 Paper https://portal.mardi4nfdi.de/entity/Q5202637 1988-01-01 Paper Two Impredicative Theories of Properties and...10 bytes (13 words) - 09:48, 12 December 2023
- Bartosz Wcisło (section List of research outcomes)2017-09-15 Paper Models of weak theories of truth 2017-09-15 Paper MODELS OF PT– WITH INTERNAL INDUCTION FOR TOTAL FORMULAE 2017-05-31 Paper Truth and collection...10 bytes (13 words) - 13:15, 24 September 2023
- Fedor N. Pakhomov (section List of research outcomes)essentially undecidable Theories 2022-07-17 Paper Reflection algebras and conservation results for theories of iterated truth 2022-04-01 Paper Multi-dimensional...10 bytes (15 words) - 14:07, 10 December 2023
- Martin J. Fischer (section List of research outcomes)Paradoxes of interaction? 2015-08-03 Paper AXIOMATIZING SEMANTIC THEORIES OF TRUTH? 2015-06-29 Paper THE EXPRESSIVE POWER OF TRUTH 2015-06-29 Paper TRUTH AND...10 bytes (15 words) - 13:51, 13 December 2023
- Lavinia Picollo (section List of research outcomes)2023-02-16 Paper Higher-order logic and disquotational truth 2022-07-15 Paper Truth in a Logic of Formal Inconsistency: How classical can it get? 2021-01-08...10 bytes (14 words) - 15:33, 6 October 2023
- Mateusz Łełyk (section List of research outcomes)INDUCTION FOR THE COMPOSITIONAL TRUTH PREDICATE 2017-09-15 Paper Models of weak theories of truth 2017-09-15 Paper MODELS OF PT– WITH INTERNAL INDUCTION FOR...10 bytes (13 words) - 08:34, 25 September 2023
- Graham E. Leigh (section List of research outcomes)2017-02-02 Paper CONSERVATIVITY FOR THEORIES OF COMPOSITIONAL TRUTH VIA CUT ELIMINATION 2015-11-09 Paper AXIOMATIC TRUTH, SYNTAX AND METATHEORETIC REASONING...10 bytes (15 words) - 17:27, 11 December 2023
- Carlo Nicolai (section List of research outcomes)axiomatizations of Kripke's theory of truth 2018-04-04 Paper EQUIVALENCES FOR TRUTH PREDICATES 2017-07-06 Paper Deflationary truth and the ontology of expressions...10 bytes (13 words) - 18:25, 6 October 2023
- Guojun Wang (section List of research outcomes)valuation medium and a simplified system of axioms of \({\mathcal L}^*\) 2006-10-04 Paper Theory of truth degrees of propositions in two-valued logic 2006-09-22...10 bytes (13 words) - 16:19, 6 December 2023
- Saeed Salehi (section List of research outcomes)Axiomatizability of the Multiplicative Theory of Numbers 2018-05-24 Paper Gödel–Rosser's Incompleteness Theorem, generalized and optimized for definable theories 2018-02-13...10 bytes (15 words) - 10:03, 12 December 2023
- Xingfang Zhang (section List of research outcomes)numbers and linear equations of fuzzy numbers 2016-03-15 Paper Theory of truth degree based on the interval interpretation of first-order fuzzy predicate...10 bytes (13 words) - 01:03, 25 September 2023
- Otávio Bueno (section List of research outcomes)2002-08-26 Paper Quasi-truth in quasi-set theory 2002-01-09 Paper https://portal.mardi4nfdi.de/entity/Q4440583 2002-01-01 Paper Quasi-Truth, Supervaluations...10 bytes (13 words) - 13:06, 6 October 2023
- Kit Fine (section List of research outcomes)modal theories. III: Facts 1982-01-01 Paper Model theory for modal logic. III. Existence and predication 1981-01-01 Paper First-order modal theories 1980-01-01...10 bytes (14 words) - 18:17, 24 September 2023
- N. C. A. da Costa (section List of research outcomes)incompleteness of theories of games 1999-04-22 Paper https://portal.mardi4nfdi.de/entity/Q4223622 1999-03-30 Paper The logic of pragmatic truth 1999-02-02...10 bytes (21 words) - 14:18, 11 December 2023
- Jan Woleński (section List of research outcomes)to Tarski) 2002-10-08 Paper Against truth as coherence 2002-04-02 Paper In defense of the semantic definition of truth 2002-02-17 Paper Logic and mathematics...10 bytes (14 words) - 22:44, 24 September 2023
- Hannes Leitgeb (section List of research outcomes)predicates 2003-06-09 Paper Theories of truth which have no standard models 2002-08-29 Paper No future 2002-07-22 Paper Truth and the liar in De Morgan-valued...10 bytes (15 words) - 21:23, 8 December 2023
