Topologically compact structures and positive formulas
L. Pacholski, B. Węglorz (1968)
Colloquium Mathematicae
Similarity:
L. Pacholski, B. Węglorz (1968)
Colloquium Mathematicae
Similarity:
Josep Font (1993)
Banach Center Publications
Similarity:
The aim of this paper is to discuss the motivation for a new general algebraic semantics for deductive systems, to introduce it, and to present an outline of its main features. Some tools from the theory of abstract logics are also introduced, and two classifications of deductive systems are analysed: one is based on the behaviour of the Leibniz congruence (the maximum congruence of a logical matrix) and the other on the behaviour of the Frege operator (which associates to every theory...
Grzegorz Bancerek (2014)
Formalized Mathematics
Similarity:
We introduce algorithmic logic - an algebraic approach according to [25]. It is done in three stages: propositional calculus, quantifier calculus with equality, and finally proper algorithmic logic. For each stage appropriate signature and theory are defined. Propositional calculus and quantifier calculus with equality are explored according to [24]. A language is introduced with language signature including free variables, substitution, and equality. Algorithmic logic requires a bialgebra...
H. Keisler (1963)
Fundamenta Mathematicae
Similarity:
Wiktor Bartol, Ewa Orłowska, Andrzej Skowron (1999)
Banach Center Publications
Similarity:
Don Pigozzi, Antonino Salibra (1993)
Banach Center Publications
Similarity:
The polyadic algebras that arise from the algebraization of the first-order extensions of a SIC are characterized and a representation theorem is proved. Standard implicational calculi (SIC)'s were considered by H. Rasiowa [19] and include classical and intuitionistic logic and their various weakenings and fragments, the many-valued logics of Post and Łukasiewicz, modal logics that admit the rule of necessitation, BCK logic, etc.
Cecylia Rauszer
Similarity:
CONTENTSIntroduction............................................................................... 5Chapter I. Semi-Boolean algebras 1. Semi-Boolean algebras....................................... 8 2. Q-filters in semi-Boolean algebras............................ 11 3. Extensions of semi-Boolean algebras...................... 15Chapter II. Algebraic and semantic modelsfor Heyting-Brouwer logic 1. Preliminaries.......................................................... 17 2. Algebraic...
Chris Brink (1993)
Banach Center Publications
Similarity:
The purpose of this note is to show that a known and natural four-valued logic co-exists with classical two-valued logic in the familiar context of truth tables. The tool required is the power construction.
Izbaş, Olga, Rusu, Andrei (2006)
Analele Ştiinţifice ale Universităţii “Ovidius" Constanţa. Seria: Matematică
Similarity:
Mirjana Borisavljević (2010)
Review of the National Center for Digitization
Similarity:
Mirjana Borisavljević (2010)
Review of the National Center for Digitization
Similarity:
Paola Unterholzner (1981)
Rendiconti del Seminario Matematico della Università di Padova
Similarity: