Results 191 to 200 of about 86,163 (232)

Algebraic, abstract algebraic and behavioral approaches to logical systems. Part I

, 2010
openaire   +2 more sources

Some of the next articles are maybe not open access.

Related searches:

Update to “A Survey of Abstract Algebraic Logic”

Studia Logica, 2009
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Ramon Jansana
exaly   +3 more sources

A Note on Natural Extensions in Abstract Algebraic Logic

Studia Logica, 2014
The paper analyses the existence of natural extensions of a logic for arbitrary new sets of variables (This concept was introduced by \textit{J. Czelakowski} [Protoalgebraic logics. Dordrecht: Kluwer Academic Publishers (2001; Zbl 0984.03002)]). The proof of the transfer principle and many results require the existence of natural extensions of the ...
Petr Cintula, Carles Noguera
exaly   +6 more sources

Willem Blok's Contribution to Abstract Algebraic Logic

Studia Logica, 2006
This is a survey paper about some results proved by W. Blok in the theory of abstract algebraic logics. The first result is a characterization of protoalgebraic logics by the Leibniz operator. A deductive system \({\mathcal S}\) is called protoalgebraic if for every set of formulas \(\Gamma\) every two \(\Gamma\)-equivalent formulas are \(\Gamma ...
Ramon Jansana
exaly   +2 more sources

A Survey of Abstract Algebraic Logic

Studia Logica, 2003
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Josep Maria Font, Ramon Jansana, Don Pigozzi   +2 more
openaire   +2 more sources

COMPATIBILITY OPERATORS IN ABSTRACT ALGEBRAIC LOGIC

The Journal of Symbolic Logic, 2016
AbstractThis paper presents a unified framework that explains and extends the already successful applications of the Leibniz operator, the Suszko operator, and the Tarski operator in recent developments in abstract algebraic logic. To this end, we refine Czelakowski’s notion of an S-compatibility operator, and introduce the notion of coherent family of
Hugo Albuquerque, Josep Maria Font, Ramon Jansana   +2 more
openaire   +1 more source

A New Hierarchy of Infinitary Logics in Abstract Algebraic Logic

Studia Logica, 2016
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Tomás Lávicka, Carles Noguera
openaire   +4 more sources

An abstract algebraic logic approach to tetravalent modal logics

Journal of Symbolic Logic, 2000
AbstractThis paper contains a joint study of two sentential logics that combine a many-valued character, namely tetravalence, with a modal character; one of them is normal and the other one quasinormal. The method is to study their algebraic counterparts and their abstract models with the tools of Abstract Algebraic Logic, and particularly with those ...
Josep Maria Font, Miquel Rius
openaire   +2 more sources