A syntactic characterization of Kleene's strong connectives with two designated values

DOI10.1002/malq.19750210124zbMath0307.02011OpenAlexW2081797682MaRDI QIDQ4063118

John N. Martin

Publication date: 1975

Published in: Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1002/malq.19750210124

Mathematics Subject Classification ID

Classical propositional logic (03B05) Many-valued logic (03B50)

Related Items (2)

AUTOMATED CORRESPONDENCE ANALYSIS FOR THE BINARY EXTENSIONS OF THE LOGIC OF PARADOX ⋮ Proclus and the Neoplatonic syllogistic

This page was built for publication: A syntactic characterization of Kleene's strong connectives with two designated values