On Vidal's trivalent explanations for defective conditional in mathematics

DOI10.1080/11663081.2018.1534488zbMath1444.03091OpenAlexW2902070187WikidataQ128820950 ScholiaQ128820950MaRDI QIDQ5742699

Vasilyi Shangin, Yaroslav I. Petrukhin

Publication date: 8 May 2019

Published in: Journal of Applied Non-Classical Logics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1080/11663081.2018.1534488

zbMATH Keywords

many-valued logicimplicationthree-valued logicconditionalnon-classical logictrivalent logicdefective conditionaldefective implication

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Many-valued logic (03B50) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)

Related Items

Correspondence analysis and automated proof-searching for first degree entailment

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A note on matrices for systems of nonsense-logics
• A few more useful 8-valued logics for reasoning with tetralattice \(EIGHT_{4}\)
• The natural deduction systems for the three-valued nonsense logics Z and E
• Natural deduction for Post's logics and their duals
• Anti-intuitionism and paraconsistency
• Non-commutative logic. I: The multiplicative fragment
• The Trilattice of Constructive Truth Values
• MATHEMATICAL INFERENCE AND LOGICAL INFERENCE
• The defective conditional in mathematics
• Natural deduction for three-valued regular logics
• Nonsense logics and their algebraic properties
• Automated Proof-searching for Strong Kleene Logic and its Binary Extensions via Correspondence Analysis
• Über Eine Prädikatenlogik mit Partiell Definierten Prädikaten und Funktionen
• On notation for ordinal numbers