- Executability and Connexivity in an Interpretation of Griss.Thomas M. Ferguson - 2023 - Studia Logica 112 (1):459-509.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
|
|
Cut-elimination and proof-search for bi-intuitionistic logic using nested sequents.Rajeev Goré, Linda Postniece & Alwen Tiu - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 43-66.details
|
|
Symmetric and conflated intuitionistic logics.Norihiro Kamide - forthcoming - Logic Journal of the IGPL.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
|
|
Logical Multilateralism.Heinrich Wansing & Sara Ayhan - 2023 - Journal of Philosophical Logic 52 (6):1603-1636.details
|
|
Connexive Conditional Logic. Part I.Heinrich Wansing & Matthias Unterhuber - forthcoming - Logic and Logical Philosophy:1.details
|
|
Reprint of: A more general general proof theory.Heinrich Wansing - 2017 - Journal of Applied Logic 25:23-46.details
|
|
A Non-Inferentialist, Anti-Realistic Conception of Logical Truth and Falsity.Heinrich Wansing - 2012 - Topoi 31 (1):93-100.details
|
|
Natural Deduction for Dual-intuitionistic Logic.Luca Tranchini - 2012 - Studia Logica 100 (3):631-648.details
|
|
Natural deduction for bi-intuitionistic logic.Luca Tranchini - 2017 - Journal of Applied Logic 25:S72-S96.details
|
|
A modal translation for dual-intuitionistic logic.Yaroslav Shramko - 2016 - Review of Symbolic Logic 9 (2):251-265.details
|
|
Substructural Negations.Takuro Onishi - 2015 - Australasian Journal of Logic 12 (4).details
|
|
Understanding Negation Implicationally in the Relevant Logic R.Takuro Onishi - 2016 - Studia Logica 104 (6):1267-1285.details
|
|
40 years of FDE: An Introductory Overview.Hitoshi Omori & Heinrich Wansing - 2017 - Studia Logica 105 (6):1021-1049.details
|
|
Modal logics with Belnapian truth values.Serge P. Odintsov & Heinrich Wansing - 2010 - Journal of Applied Non-Classical Logics 20 (3):279-304.details
|
|
Improving Strong Negation.Satoru Niki - 2023 - Review of Symbolic Logic 16 (3):951-977.details
|
|
On Negation for Non-classical Set Theories.S. Jockwich Martinez & G. Venturi - 2020 - Journal of Philosophical Logic 50 (3):549-570.details
|
|
Non-contingency in a Paraconsistent Setting.Daniil Kozhemiachenko & Liubov Vashentseva - forthcoming - Logic Journal of the IGPL.details
|
|
Symmetric and dual paraconsistent logics.Norihiro Kamide & Heinrich Wansing - 2010 - Logic and Logical Philosophy 19 (1-2):7-30.details
|
|
Modal Multilattice Logic.Norihiro Kamide & Yaroslav Shramko - 2017 - Logica Universalis 11 (3):317-343.details
|
|
Kripke Completeness of Bi-intuitionistic Multilattice Logic and its Connexive Variant.Norihiro Kamide, Yaroslav Shramko & Heinrich Wansing - 2017 - Studia Logica 105 (6):1193-1219.details
|
|
Combining linear-time temporal logic with constructiveness and paraconsistency.Norihiro Kamide & Heinrich Wansing - 2010 - Journal of Applied Logic 8 (1):33-61.details
|
|
Negation in Negationless Intuitionistic Mathematics.Thomas Macaulay Ferguson - 2023 - Philosophia Mathematica 31 (1):29-55.details
|
|
Logics of Nonsense and Parry Systems.Thomas Macaulay Ferguson - 2015 - Journal of Philosophical Logic 44 (1):65-80.details
|
|
Andreas Kapsner, Logics and Falsifications. A New Perspective on Constructivist Semantics, Cham: Springer International Publishing, 2014, 217 pp., €103.99 , ISBN 9783319052052. [REVIEW]Thomas Macaulay Ferguson - 2016 - Dialectica 70 (1):119-124.details
|
|
Disentangling Structural Connectives or Life Without Display Property.Sergey Drobyshevich - 2019 - Journal of Philosophical Logic 48 (2):279-303.details
|
|
Hypersequent and Display Calculi – a Unified Perspective.Agata Ciabattoni, Revantha Ramanayake & Heinrich Wansing - 2014 - Studia Logica 102 (6):1245-1294.details
|
|
Bunched Logics Displayed.James Brotherston - 2012 - Studia Logica 100 (6):1223-1254.details
|
|
Reasoning with belief functions over Belnap–Dunn logic.Marta Bílková, Sabine Frittella, Daniil Kozhemiachenko, Ondrej Majer & Sajad Nazari - forthcoming - Annals of Pure and Applied Logic.details
|
|
Negation on the Australian Plan.Francesco Berto & Greg Restall - 2019 - Journal of Philosophical Logic 48 (6):1119-1144.details
|
|
Bi-Simulating in Bi-Intuitionistic Logic.Guillermo Badia - 2016 - Studia Logica 104 (5):1037-1050.details
|
|
Connexive logic.Heinrich Wansing - 2008 - Stanford Encyclopedia of Philosophy.details
|
|