Results 161 to 170 of about 1,176 (208)

Experimental realization of logical elastic bits as qubit analogues in a nonlinear oscillator. [PDF]

open access: yesSci Rep
Mahmood KT   +5 more
europepmc   +1 more source

Update to “A Survey of Abstract Algebraic Logic”

Studia Logica, 2009
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Ramon Jansana
exaly   +4 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, Jansana Ramon
exaly   +2 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   +2 more
exaly   +7 more sources

Home - About - Disclaimer - Privacy