Paraconsistent logic from a modal viewpoint

Journal of Applied Logic

Volumn 3, Issue 1, 2005, Pages 7-14

  Béziau, Jean Yves ^a  

^a UNIVERSITY OF NEUCHÂTEL   (Switzerland)

Author keywords

Modal logic; Negation; Paraconsistent logic; Square of opposition

Indexed keywords

FORMAL LANGUAGES; MODAL ANALYSIS; SEMANTICS; SET THEORY;

MODAL LOGIC; PARACONSISTENT LOGIC; PARACONSISTENT NEGATION; SQUARE-OF-OPPOSITION;

FORMAL LOGIC;

EID: 14044258614     PISSN: 15708683     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.jal.2004.07.009     Document Type: Article

References (16)

1. N. Belnap A useful four-valued logic Modern Uses of Multiple-valued Logic 1977 Reidel Dordrecht 5-37
2. J.-Y. Béziau What is paraconsistent logic? Frontiers of Paraconsistent Logic 2000 Research Studies Press Baldock 95-112
3. J.-Y. Béziau, 200?, S5 is a paraconsistent logic and so is first-order logic, submitted for publication
4. J.-Y. Béziau, 200?, A new four-valued modal logic, in preparation
5. J.-Y. Béziau, 200?, The square of opposition, modal logic and paraconsistent logic, in preparation
6. W.A. Carnielli M. Lima-Marques Society semantics and multiple-valued logics Advances in Contemporary Logic and Computer Science 1999 AMS Providence 33-52
7. K. Došen Negation and impossibility J. Perzanowski Essay on Philosophy and Logic 1987 Jagiellonian University Press Krakow 85-91
8. J.M. Font P. Hajek On Łukasiewicz's four-valued logic Studia Logica 70 2002 157-182
9. K. Gödel Eine Interpretation des intuitionistischen Aussagenkalküls Ergeb. Mat. Kolloq. 4 1933 34-40
10. L.R. Horn A Natural History of Negation 1989 UCP Chicago
11. S. Jaśkowski Rachunek zdań dla systemów dedukcyjnych sprzecznych Studia Societatis Scientiarum Torunensis, Sectio A I 5 1948 55-77
12. W. Kneale M. Kneale The Development of Logic 1962 OUP Oxford
13. J. Łukasiewicz A system of modal logic J. Comput. Systems 1 1953 111-149
14. J. Łukasiewicz On a controversial problem of Aristotle's modal syllogistic Dominican Studies 7 1954 114-128
15. N. Rescher Topics in Philosophical Logic 1968 Reidel Dordrecht
16. M. Wajsberg Ein erweiteter Klassenkalkül Monatsh. Math. Phys. 40 1993 113-126