Propositional calculus for contradictory deductive systems
From MaRDI portal
Publication:2554685
DOI10.1007/BF02134311zbMath0244.02004OpenAlexW2132015465MaRDI QIDQ2554685
Publication date: 1969
Published in: Studia Logica (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/bf02134311
Related Items
К вопросу о критерии паранепротиворечивости логик ⋮ On the logic of event-causation. Jaśkowski-style systems of causal logic ⋮ On Jaśkowski's discussive logics ⋮ Two decision procedures for da Costa's \(C_n\) Logics based on restricted Nmatrix semantics ⋮ О критерии паранормальности для $n$-значных логических матриц ⋮ Об одном классе $n$-значных литеральных паранепротиворечивых / параполных логик ⋮ A generalization of ordered-pair semantics ⋮ An adaptive logic based on Jaśkowski's approach to paraconsistency ⋮ Three-Valued Logics for Incomplete Information and Epistemic Logic ⋮ Paraconsistency properties in degree-preserving fuzzy logics ⋮ On interpretation of inconsistent theories ⋮ When adjunction fails ⋮ A modal theorem-preserving translation of a class of three-valued logics of incomplete information ⋮ PROBABILISTIC ENTAILMENT ON FIRST ORDER LANGUAGES AND REASONING WITH INCONSISTENCIES ⋮ Axiomatizing a minimal discussive logic ⋮ Identifying logical evidence ⋮ Некоторые предварительные условия для создания «многомировой теории всего» и развития интеллектуальной интуиции ⋮ A Gricean Interpretation of Nāgārjuna’s Catuṣkoṭi and the No-Thesis View ⋮ Paraconsistent Transition Systems ⋮ Logics of upsets of De Morgan lattices ⋮ Conjunctive paraconsistency ⋮ Higher-Order Modal Logics: Automation and Applications ⋮ Deontic modals: why abandon the default approach ⋮ Variations on Jaśkowski’s Discursive Logic ⋮ Paraconsistency in classical logic ⋮ A Method of Generating Modal Logics Defining Jaśkowski’s Discussive D2 Consequence ⋮ Looting Liars Masking Models ⋮ A map of dependencies among three-valued logics ⋮ Probabilities with gaps and gluts ⋮ On a ``most telling argument for paraconsistent logic ⋮ Axiomatizing Jaśkowski's discussive logic \(\mathbf{D_2}\) ⋮ Paraconsistency and plausible argumentation in generative grammar: A case study ⋮ On AGM for non-classical logics ⋮ Limits for paraconsistent calculi ⋮ Unnamed Item ⋮ Some Rough Consequence Logics and their Interrelations ⋮ Handling inconsistencies in the early calculus. An adaptive logic for the design of chunk and permeate structures ⋮ Programming with Annotated Logics ⋮ Pavel Florensky's theory of religious antinomies ⋮ Jaina Logic and the Philosophical Basis of Pluralism ⋮ Inconsistency without contradiction ⋮ The logic of pragmatic truth ⋮ On the Philosophy and Mathematics of the Logics of Formal Inconsistency ⋮ From Possibility Theory to Paraconsistency ⋮ A Semi-lattice of Four-valued Literal-paraconsistent-paracomplete Logics ⋮ First-order logics of evidence and truth with constant and variable domains ⋮ Paraconsistent Logical Consequence ⋮ Non-adjunctive inference and classical modalities ⋮ Inconsistency-adaptive dialogical logic
Cites Work
