Paper Info
Title
Nonclassical Operations Hidden In The Classical Logic
Abstract
Objects of consideration are various nonclassical connectives "hidden" in the classical logic in the form of G o s with o - a classical connective, and s a propositional variable. One of them is a negation, which is defined as G double right arrow s; another is a necessity, which is defined as G boolean AND s. The new operations are axiomatized and it is shown that they belong to the 4-valued logic of Lukasiewicz. A 2-world Kripke semantics is built leading directly to the 4-valued logical tables.
Year
DOI
Venue
2008
10.3166/jancl.18.309-324
COMPTES RENDUS DE L ACADEMIE BULGARE DES SCIENCES
Keywords
DocType
Volume
negation, necessity, 4-valued logic, Kripke semantics
Journal
61
Issue
ISSN
Citations 
5
1310-1331
0
PageRank 
References 
Authors
0.34
0
1
Name
Order
Citations
PageRank
Vladimir Sotirov110.96