Search results
From MaRDI portal
- \(\mathcal{S}\) 2018-10-18 Paper Paraconsistent constructive logic with strong negation as a contraction-free relevant logic 2018-09-13 Paper VARIETIES OF SKEW...10 bytes (16 words) - 21:53, 11 December 2023
- Superrational types 2022-06-09 Paper Semi-intuitionistic logic with strong negation 2018-04-16 Paper Semi-Nelson algebras 2018-04-10 Paper An approach to...10 bytes (18 words) - 04:35, 12 December 2023
- Challenge Met 2022-12-12 Paper Paraconsistent constructive logic with strong negation as a contraction-free relevant logic 2018-09-13 Paper Formalizing a...10 bytes (16 words) - 01:42, 25 September 2023
- two kinds of negation 1994-02-17 Paper https://portal.mardi4nfdi.de/entity/Q4012257 1992-09-27 Paper Logic Programming with Strong Negation and Inexact...10 bytes (16 words) - 09:10, 13 December 2023
- Paper Subformula semantics for strong negation systems 1990-01-01 Paper Constructive predicate logic with strong negation and model theory 1988-01-01 Paper...10 bytes (16 words) - 02:14, 25 September 2023
- Substructural Logics with Mingle and Strong Negation 2003-08-24 Paper Sequent Calculi for Intuitionistic Linear Logic with Strong Negation 2003-07-22 Paper Classical...10 bytes (16 words) - 00:48, 25 September 2023
- Publication Type Axiomatic extensions of the constructive logic with strong negation and the disjunction property 1996-07-01 Paper https://portal.mardi4nfdi...10 bytes (16 words) - 12:52, 28 January 2024
- of Associative Type 2018-09-17 Paper Semi-intuitionistic logic with strong negation 2018-04-16 Paper Semi-Nelson algebras 2018-04-10 Paper On derived algebras...10 bytes (18 words) - 16:32, 10 December 2023
- dispersive systems 2018-07-19 Paper On strong equivalence theorem for answer set semantics with strong negation 2016-07-28 Paper...10 bytes (18 words) - 12:04, 6 October 2023
- Publication Date of Publication Type Double negation as minimal negation 2024-02-06 Paper On the provable contradictions of the connexive logics \(\mathbf{C}\)...10 bytes (16 words) - 10:50, 24 September 2023
- algebras 2000-02-27 Paper TOPOS BASED SEMANTIC FOR CONSTRUCTIVE LOGIC WITH STRONG NEGATION 1994-11-07 Paper https://portal.mardi4nfdi.de/entity/Q3360853 1990-01-01...10 bytes (16 words) - 15:45, 24 September 2023
- 2017-07-25 Paper A square of oppositions in intuitionistic logic with strong negation 2016-11-30 Paper Cleland on Church 2015-07-30 Paper https://portal.mardi4nfdi...10 bytes (16 words) - 06:52, 7 October 2023
- Instability: Self-Organization in Systems with Advection 2018-09-26 Paper Strong negation in intuitionistic style sequent systems for residuated lattices 2014-10-10...10 bytes (16 words) - 21:30, 21 September 2023
- automorphisms 2000-06-22 Paper On extensions of intermediate logics by strong negation 2000-01-12 Paper Tools and techniques in modal logic 1999-08-08 Paper...10 bytes (16 words) - 23:23, 8 December 2023
- I 2019-01-08 Paper The attack as intuitionistic negation 2019-01-08 Paper The attack as strong negation, part I 2019-01-08 Paper Bilateralism does not provide...10 bytes (17 words) - 19:08, 6 October 2023
- 2008-05-05 Paper Kripke Completeness of First-Order Constructive Logics with Strong Negation 2004-05-27 Paper Sequent calculi for Visser's propositional logics 2003-10-13...10 bytes (16 words) - 03:04, 7 October 2023
- Publication Date of Publication Type Fuzzy implications based on strong negations 2023-11-27 Paper https://portal.mardi4nfdi.de/entity/Q5389215 2012-04-26...10 bytes (18 words) - 03:27, 13 December 2023
- 1958-01-01 Paper On constructible falsity in the constructive logic with strong negation 1958-01-01 Paper https://portal.mardi4nfdi.de/entity/Q3250590 1957-01-01...10 bytes (20 words) - 04:32, 9 December 2023
- calculus MC and its modal analog 1968-01-01 Paper Some calculi with strong negation primitive 1968-01-01 Paper Lemmon-style bases for the systems S1°-S4°...10 bytes (18 words) - 13:02, 24 September 2023
- answering in expressive description logics via tableaux 2008-09-10 Paper Strong Negation and Equivalence in the Safe Belief Semantics 2007-12-12 Paper...10 bytes (16 words) - 10:29, 6 October 2023