Search results
From MaRDI portal
- Publication Date of Publication Type Paraconsistentization and many-valued logics 2024-11-15 Paper https://portal.mardi4nfdi...10 bytes (17 words) - 19:19, 24 September 2023
- Publication Date of Publication Type Paraconsistentization and many-valued logics 2024-11-15 Paper Universal logic and orbital...10 bytes (17 words) - 13:29, 24 September 2023
- Publication Date of Publication Type Paraconsistentization and many-valued logics 2024-11-15 Paper Paraconsistent orbits of...10 bytes (17 words) - 13:29, 24 September 2023
- contradictions into a paraconsistent one. Moreover, we study the case of paraconsistentization of propositional classical logic. Full work available at URL: https://arxiv...15 bytes (278 words) - 12:42, 7 February 2024
- logic and the theoretic-formal unification of physical theories On a paraconsistentization functor in the category of consequence structures Paradeduction in...15 bytes (321 words) - 05:44, 2 February 2024
- algebraization of logics An NP-complete fragment of fibring logic On a paraconsistentization functor in the category of consequence structures What is a non-truth-functional...15 bytes (139 words) - 11:43, 1 February 2024
- in Bisequent Calculus Sequent systems for negative modalities On a paraconsistentization functor in the category of consequence structures A Gricean Interpretation...15 bytes (383 words) - 21:52, 3 February 2024
- Characteristics of multiple viewpoints in abstract argumentation On a paraconsistentization functor in the category of consequence structures Improved answer-set...15 bytes (397 words) - 05:59, 4 February 2024
- and its composition problem \(\text{DA}^2\) merging operators On a paraconsistentization functor in the category of consequence structures EMIL: extracting...15 bytes (683 words) - 05:10, 3 February 2024
- available (Why is that?) Title not available (Why is that?) On a paraconsistentization functor in the category of consequence structures Univalent Foundations...15 bytes (178 words) - 10:26, 30 January 2024
- (03-XX) Computer science (68-XX) This page was built for publication: Paraconsistentization and many-valued logics Report a bug (only for logged in users!)Click...15 bytes (78 words) - 19:32, 13 February 2025
- for the logics of the hierarchy \(\mathbb{I}^n\mathbb{P}^k\). On a paraconsistentization functor in the category of consequence structures Weakly Free Multialgebras...15 bytes (398 words) - 18:44, 6 February 2024
- can be obtained from them. This page was built for publication: Paraconsistentization and many-valued logics Report a bug (only for logged in users!)Click...15 bytes (84 words) - 08:52, 10 July 2024
- Paraconsistent orbits of logics This page was built for publication: Paraconsistentization through antimonotonicity towards a logic of supplement Report a bug...15 bytes (87 words) - 05:48, 7 March 2024
- Taking degrees of truth seriously A Tool for Analysing Logics On a paraconsistentization functor in the category of consequence structures A van Benthem theorem...15 bytes (195 words) - 22:17, 8 February 2024
- relevance logic 👍 👎 Some parametrized categorical concepts 👍 👎 On a paraconsistentization functor in the category of consequence structures 👍 👎 This page...15 bytes (182 words) - 21:17, 6 February 2024
- Paraconsistent orbits of logics Paraconsistent ideas in quantum logic On a paraconsistentization functor in the category of consequence structures The works of Hugh...15 bytes (95 words) - 07:47, 7 February 2024
- Differently Many Paraconsistent logic from a modal viewpoint On a paraconsistentization functor in the category of consequence structures What is a non-truth-functional...15 bytes (250 words) - 21:17, 6 February 2024
- Disentangling contradiction from contrariety via incompatibility On a paraconsistentization functor in the category of consequence structures Negative Modalities...15 bytes (223 words) - 04:02, 7 February 2024
