- Prospects for a Naive Theory of Classes.Hartry Field, Harvey Lederman & Tore Fjetland Øgaard - 2017 - Notre Dame Journal of Formal Logic 58 (4):461-506.details
|
|
Comprehension contradicts to the induction within Łukasiewicz predicate logic.Shunsuke Yatabe - 2009 - Archive for Mathematical Logic 48 (3-4):265-268.details
|
|
On arithmetic in the Cantor- Łukasiewicz fuzzy set theory.Petr Hájek - 2005 - Archive for Mathematical Logic 44 (6):763-782.details
|
|
Modal Logic Without Contraction in a Metatheory Without Contraction.Patrick Girard & Zach Weber - 2019 - Review of Symbolic Logic 12 (4):685-701.details
|
|
Observations on the Trivial World.Zach Weber & Hitoshi Omori - 2019 - Erkenntnis 84 (5):975-994.details
|
|
On the crispness of and arithmetic with a bisimulation in a constructive naive set theory.S. Yatabe - 2014 - Logic Journal of the IGPL 22 (3):482-493.details
|
|
Distinguishing non-standard natural numbers in a set theory within Łukasiewicz logic.Shunsuke Yatabe - 2007 - Archive for Mathematical Logic 46 (3-4):281-287.details
|
|
Analytic Calculi for Circular Concepts by Finite Revision.Riccardo Bruni - 2013 - Studia Logica 101 (5):915-932.details
|
|
Paraconsistent Metatheory: New Proofs with Old Tools.Guillermo Badia, Zach Weber & Patrick Girard - 2022 - Journal of Philosophical Logic 51 (4):825-856.details
|
|
Property Identity and Relevant Conditionals.Zach Weber - 2020 - Australasian Philosophical Review 4 (2):147-155.details
|
|
Ultralogic as Universal?: The Sylvan Jungle - Volume 4.Richard Routley - 2019 - Cham, Switzerland: Springer Verlag.details
|
|
On equality and natural numbers in Cantor-Lukasiewicz set theory.P. Hajek - 2013 - Logic Journal of the IGPL 21 (1):91-100.details
|
|
Truth, Pretense and the Liar Paradox.Bradley Armour-Garb & James A. Woodbridge - 2015 - In T. Achourioti, H. Galinon, J. Martínez Fernández & K. Fujimoto (eds.), Unifying the Philosophy of Truth. Dordrecht: Imprint: Springer. pp. 339-354.details
|
|
(1 other version)Systems for Non-Reflexive Consequence.Carlo Nicolai & Lorenzo Rossi - 2023 - Studia Logica 111 (6):947-977.details
|
|
Proofs and Models in Naive Property Theory: A Response to Hartry Field's ‘Properties, Propositions and Conditionals’.Greg Restall, Rohan French & Shawn Standefer - 2020 - Australasian Philosophical Review 4 (2):162-177.details
|
|
On closure and truth in substructural theories of truth.Zach Weber - 2016 - Synthese 199 (Suppl 3):725-739.details
|
|
Stability and Paradox in Algorithmic Logic.Wayne Aitken & Jeffrey A. Barrett - 2007 - Journal of Philosophical Logic 36 (1):61-95.details
|
|
(1 other version)Uniform inseparability in explicit mathematics.Andrea Cantini & Pierluigi Minari - 1999 - Journal of Symbolic Logic 64 (1):313-326.details
|
|
On contraction and the modal fragment.Kai Brünnler, Dieter Probst & Thomas Studer - 2008 - Mathematical Logic Quarterly 54 (4):345-349.details
|
|