Results 121 to 130 of about 816,807 (142)

Connections in Nonclassical Logics

Handbook of Automated Reasoning, 2001
A. Waaler
semanticscholar   +2 more sources

Nonclassical Logics and Information Processing

Lecture Notes in Computer Science, 1992
David Pearce, H. Wansing
semanticscholar   +2 more sources

The Evolutionary Derivation of Nonclassical Logics

, 2001
W. S. Cooper
semanticscholar   +2 more sources

Encoding Two-Valued Nonclassical Logics in Classical Logic

Handbook of Automated Reasoning, 2001
Hans Jürgen Ohlbach, A. Nonnengart, M. de Rijke, D. Gabbay   +3 more
semanticscholar   +3 more sources

Basic properties of deductive systems based on nonclassical logics. Part II

Studia Logica, 1960
W. Pogorzelski, J. Słupecki
semanticscholar   +3 more sources

Nonclassical logics for quantum computations

SPIE Proceedings, 1997
Jaroslav Pykacz, R. Zapatrin
semanticscholar   +2 more sources

Signed tableaux: a basis for automated theorem proving in nonclassical logics

, 1993
A. Bloesch
semanticscholar   +2 more sources

Set Theory for Nonclassic Logics

2001
This chapter is devoted to showing how the study of nonclassic logic provides a simple yet significant arena where to take advantage of the capability of set theory to provide a common formalism to encode a variety of specific logical languages. Moreover, the axiomatic set-theoretic systems chosen for the various encodings give examples of uses of the ...
Domenico Cantone, Eugenio Omodeo, Alberto Policriti   +2 more
openaire   +1 more source

Belief revision in a nonclassical logic

1996
The original theory of belief revision by Alchourron, Gardenfors, and Makinson (AGM theory) is based on classical logic. Properties like consistency and logical consequence play an important role in their postulates which define the different types of belief change.
Gerhard Lakemeyer, Wilfried Lang
openaire   +1 more source

Obligations and permissions on selfextensional logics

Synthese
We further develop the abstract algebraic logic approach to input/output logic initiated in (De Domenico, International Workshop on Logic, Language, Information, and Computation 326–343, 2022), where the family of selfextensional logics was proposed as a
Andrea De Domenico, A. Farjami, Krishna Manoorkar, A. Palmigiano, Mattia Panettiere, Xiaolong Wang   +5 more
semanticscholar   +1 more source