- Peter Schroeder-Heister on Proof-Theoretic Semantics.Thomas Piecha & Kai F. Wehmeier (eds.) - 2024 - Springer.details
|
|
Advances in Modal Logic, Vol. 13.Nicola Olivetti & Rineke Verbrugge (eds.) - 2020 - College Publications.details
|
|
An epistemic approach to paraconsistency: a logic of evidence and truth.Walter Carnielli & Abilio Rodrigues - 2019 - Synthese 196 (9):3789-3813.details
|
|
(1 other version)Proof-Theoretic Semantics.Peter Schroeder-Heister - forthcoming - Stanford Encyclopedia of Philosophy.details
|
|
Interpolation and Definability over the Logic Gl.Larisa Maksimova - 2011 - Studia Logica 99 (1-3):249-267.details
|
|
Nelson algebras, residuated lattices and rough sets: A survey.Jouni Järvinen, Sándor Radeleczki & Umberto Rivieccio - 2024 - Journal of Applied Non-Classical Logics 34 (2):368-428.details
|
|
Wansing's bi-intuitionistic logic: semantics, extension and unilateralisation.Juan C. Agudelo-Agudelo - 2024 - Journal of Applied Non-Classical Logics 34 (1):31-54.details
|
|
(1 other version)Interpolation and Beth Definability over the Minimal Logic.Larisa Maksimova - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 459-463.details
|
|
There is More to Negation than Modality.Michael De & Hitoshi Omori - 2018 - Journal of Philosophical Logic 47 (2):281-299.details
|
|
Recent Trends in Philosophical Logic (Proceedings of Trends in Logic XI).Roberto Ciuni, Heinrich Wansing & Caroline Willkommen (eds.) - 2014 - Cham, Switzerland: Springer.details
|
|
One Heresy and One Orthodoxy: On Dialetheism, Dimathematism, and the Non-normativity of Logic.Heinrich Wansing - 2024 - Erkenntnis 89 (1):181-205.details
|
|
(1 other version)Paraconsistent Logic: Consistency, Contradiction and Negation: Walter Carnielli and Marcelo E. Coniglio, New York, Springer International Publishing, 2016, xxiv + 398 pp., US$109.99 (pbk) ISBN-13: 978-3319814537. [REVIEW]Abilio Rodrigues - 2021 - History and Philosophy of Logic 42 (3):300-306.details
|
|
Necessity of Thought.Cesare Cozzo - 2014 - In Heinrich Wansing (ed.), Dag Prawitz on Proofs and Meaning. Cham, Switzerland: Springer. pp. 101-20.details
|
|
(1 other version)Connexive logic.Heinrich Wansing - 2008 - Stanford Encyclopedia of Philosophy.details
|
|
A Note on Synonymy in Proof-Theoretic Semantics.Heinrich Wansing - 2024 - In Thomas Piecha & Kai F. Wehmeier (eds.), Peter Schroeder-Heister on Proof-Theoretic Semantics. Springer. pp. 339-362.details
|
|
Truth and Falsehood: An Inquiry Into Generalized Logical Values.Yaroslav Shramko & Heinrich Wansing - 2011 - Dordrecht, Netherland: Springer.details
|
|
Logics and Falsifications: A New Perspective on Constructivist Semantics.Andreas Kapsner - 2014 - Cham, Switzerland: Springer.details
|
|
Classifying material implications over minimal logic.Hannes Diener & Maarten McKubre-Jordens - 2020 - Archive for Mathematical Logic 59 (7):905-924.details
|
|
Modal logics with Belnapian truth values.Serge P. Odintsov & Heinrich Wansing - 2010 - Journal of Applied Non-Classical Logics 20 (3):279-304.details
|
|
Negation and infinity.Kazimierz Trzęsicki - 2018 - Studies in Logic, Grammar and Rhetoric 54 (1):131-148.details
|
|
A family of genuine and non-algebraisable C-systems.Mauricio Osorio, Aldo Figallo-Orellano & Miguel Pérez-Gaspar - 2021 - Journal of Applied Non-Classical Logics 31 (1):56-84.details
|
|
Priestley Duality for Paraconsistent Nelson’s Logic.Sergei P. Odintsov - 2010 - Studia Logica 96 (1):65-93.details
|
|
Disentangling FDE -Based Paraconsistent Modal Logics.Sergei P. Odintsov & Heinrich Wansing - 2017 - Studia Logica 105 (6):1221-1254.details
|
|
Starting the Dismantling of Classical Mathematics.Ross Brady - 2018 - Australasian Journal of Logic 15 (2):280-300.details
|
|
A paraconsistent view on B and S5.Arnon Avron & Anna Zamansky - 2016 - In Lev Beklemishev, Stéphane Demri & András Máté (eds.), Advances in Modal Logic, Volume 11. CSLI Publications. pp. 21-37.details
|
|
(1 other version)Dag Prawitz on Proofs and Meaning.Heinrich Wansing (ed.) - 2014 - Cham, Switzerland: Springer.details
|
|
Inter-model connectives and substructural logics.Igor Sedlár - 2014 - In Roberto Ciuni, Heinrich Wansing & Caroline Willkommen (eds.), Recent Trends in Philosophical Logic (Proceedings of Trends in Logic XI). Cham, Switzerland: Springer. pp. 195-209.details
|
|