- Co-constructive logic for proofs and refutations.James Trafford - 2014 - Studia Humana 3 (4):22-40.details
|
|
Nelson algebras, residuated lattices and rough sets: A survey.Jouni Järvinen, Sándor Radeleczki & Umberto Rivieccio - forthcoming - Journal of Applied Non-Classical Logics:1-61.details
|
|
An Algebraic Investigation of the Connexive Logic $$\textsf{C}$$.Davide Fazio & Sergei P. Odintsov - 2023 - Studia Logica 112 (1):37-67.details
|
|
Executability and Connexivity in an Interpretation of Griss.Thomas M. Ferguson - 2023 - Studia Logica 112 (1):459-509.details
|
|
Never say never.Timothy Williamson - 1994 - Topoi 13 (2):135-145.details
|
|
On Paracomplete Versions of Jaśkowski's Discussive Logic.Krystyna Mruczek-Nasieniewska, Yaroslav Petrukhin & Vasily Shangin - 2024 - Bulletin of the Section of Logic 53 (1):29-61.details
|
|
Meaning and identity of proofs in a bilateralist setting: A two-sorted typed lambda-calculus for proofs and refutations.Sara Ayhan - forthcoming - Journal of Logic and Computation.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
|
|
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
|
|
Advances in Natural Deduction: A Celebration of Dag Prawitz's Work.Luiz Carlos Pereira & Edward Hermann Haeusler (eds.) - 2012 - Dordrecht, Netherland: Springer.details
|
|
A Geometry of Approximation: Rough Set Theory: Logic, Algebra and Topology of Conceptual Patterns.Piero Pagliani & Mihir Chakraborty - 2008 - Dordrecht, Netherland: Springer.details
|
|
Logics and Falsifications: A New Perspective on Constructivist Semantics.Andreas Kapsner - 2014 - Cham, Switzerland: Springer.details
|
|
Dag Prawitz on Proofs and Meaning.Heinrich Wansing (ed.) - 2014 - Cham, Switzerland: Springer.details
|
|
On the unity of duality.Noam Zeilberger - 2008 - Annals of Pure and Applied Logic 153 (1-3):66-96.details
|
|
Dual realizability in symmetric logic.I. D. Zaslavsky - 2001 - Annals of Pure and Applied Logic 113 (1-3):389-397.details
|
|
A Variant of Thomason's First-Order Logic CF Based on Situations.Xuegang Wang & Peter Mott - 1998 - Notre Dame Journal of Formal Logic 39 (1):74-93.details
|
|
Theory of Logical Calculi: Basic Theory of Consequence Operations.Ryszard Wójcicki - 1988 - Dordrecht, Boston and London: Kluwer Academic Publishers.details
|
|
Logical Multilateralism.Heinrich Wansing & Sara Ayhan - 2023 - Journal of Philosophical Logic 52 (6):1603-1636.details
|
|
Informational interpretation of substructural propositional logics.Heinrich Wansing - 1993 - Journal of Logic, Language and Information 2 (4):285-308.details
|
|
Constructive negation, implication, and co-implication.Heinrich Wansing - 2008 - Journal of Applied Non-Classical Logics 18 (2-3):341-364.details
|
|
Notes on N-lattices and constructive logic with strong negation.D. Vakarelov - 1977 - Studia Logica 36 (1-2):109-125.details
|
|
Non-Classical Negation in the Works of Helena Rasiowa and Their Impact on the Theory of Negation.Dimiter Vakarelov - 2006 - Studia Logica 84 (1):105-127.details
|
|
Nelson's Negation on the Base of Weaker Versions of Intuitionistic Negation.Dimiter Vakarelov - 2005 - Studia Logica 80 (2):393-430.details
|
|
Towards a Semantics Based on the Notion of Justification.Gabriele Usberti - 2006 - Synthese 148 (3):675-699.details
|
|
Vagueness as an epiphenomenon, and non-transitivity.Vangelis Triantafyllou - 2022 - Journal of Applied Non-Classical Logics 32 (2-3):156-186.details
|
|
Structuring Co-constructive Logic for Proofs and Refutations.James Trafford - 2016 - Logica Universalis 10 (1):67-97.details
|
|
Duality and Inferential Semantics.James Trafford - 2015 - Axiomathes 25 (4):495-513.details
|
|
A semantical study of constructible falsity.Richmond H. Thomason - 1969 - Mathematical Logic Quarterly 15 (16-18):247-257.details
|
|
Cut for core logic.Neil Tennant - 2012 - Review of Symbolic Logic 5 (3):450-479.details
|
|
Affine logic for constructive mathematics.Michael Shulman - 2022 - Bulletin of Symbolic Logic 28 (3):327-386.details
|
|
First-Degree Entailment and its Relatives.Yaroslav Shramko, Dmitry Zaitsev & Alexander Belikov - 2017 - Studia Logica 105 (6):1291-1317.details
|
|
Dual Intuitionistic Logic and a Variety of Negations: The Logic of Scientific Research.Yaroslav Shramko - 2005 - Studia Logica 80 (2-3):347-367.details
|
|
A modal translation for dual-intuitionistic logic.Yaroslav Shramko - 2016 - Review of Symbolic Logic 9 (2):251-265.details
|
|
Some investigations of varieties of N -lattices-lattices.Andrzej Sendlewski - 1984 - Studia Logica 43 (3):257-280.details
|
|
Nelson algebras through Heyting ones: I.Andrzej Sendlewski - 1990 - Studia Logica 49 (1):105-126.details
|
|
Axiomatic extensions of the constructive logic with strong negation and the disjunction property.Andrzej Sendlewski - 1995 - Studia Logica 55 (3):377 - 388.details
|
|
Formes, objets et négation selon Granger.Fabien Schang - 2020 - Philosophiques 47 (1):3-33.details
|
|
Semantical analyses of propositional systems of Fitch and Nelson.Richard Routley - 1974 - Studia Logica 33 (3):283 - 298.details
|
|
Representation of interlaced trilattices.Umberto Rivieccio - 2013 - Journal of Applied Logic 11 (2):174-189.details
|
|
Fragments of Quasi-Nelson: The Algebraizable Core.Umberto Rivieccio - 2022 - Logic Journal of the IGPL 30 (5):807-839.details
|
|
Fragments of quasi-Nelson: residuation.U. Rivieccio - 2023 - Journal of Applied Non-Classical Logics 33 (1):52-119.details
|
|
Axioms for a Logic of Consequential Counterfactuals.Claudio E. A. Pizzi - 2023 - Logic Journal of the IGPL 31 (5):907-925.details
|
|
A First Order Nonmonotonic Extension of Constructive Logic.David Pearce & Agustín Valverde - 2005 - Studia Logica 80 (2):321-346.details
|
|
Information gaps as communication needs: A new semantic foundation for some non-classical logics. [REVIEW]Piero Pagliani - 1997 - Journal of Logic, Language and Information 6 (1):63-99.details
|
|
The lattice of Belnapian modal logics: Special extensions and counterparts.Sergei P. Odintsov & Stanislav O. Speranski - 2016 - Logic and Logical Philosophy 25 (1):3-33.details
|
|
Priestley Duality for Paraconsistent Nelson’s Logic.Sergei P. Odintsov - 2010 - Studia Logica 96 (1):65-93.details
|
|
Priestley Duality for Paraconsistent Nelson’s Logic.Sergei P. Odintsov - 2010 - Studia Logica 96 (1):65-93.details
|
|
Hintikka’s Independence-Friendly Logic Meets Nelson’s Realizability.Sergei P. Odintsov, Stanislav O. Speranski & Igor Yu Shevchenko - 2018 - Studia Logica 106 (3):637-670.details
|
|
Inference Rules in Nelson’s Logics, Admissibility and Weak Admissibility.Sergei Odintsov & Vladimir Rybakov - 2015 - Logica Universalis 9 (1):93-120.details
|
|