Algebraic properties of pre-logics
Annihilators and deductive systems in commutative Hilbert algebras
The properties of deductive systems in Hilbert algebras are treated. If a Hilbert algebra considered as an ordered set is an upper semilattice then prime deductive systems coincide with meet-irreducible elements of the lattice of all deductive systems on and every maximal deductive system is prime. Complements and relative complements of are characterized as the so called annihilators in .
Axiomatizability in fuzzy logic
Erratum to “Hyperfinite and standard unifications for physical theories”.
Erweiterte Fassung eines von Clebsch aufgestellten Uebertragungsprincips und deren Anwendung
Ganzgeschlossene und prädikatgeschlossene Logiken I.
Ganzgeschlossene und prädikatgeschlossene Logiken II.
Generalized deductive systems in subregular varieties
An algebra is subregular alias regular with respect to a unary term function if for each we have whenever for each . We borrow the concept of a deductive system from logic to modify it for subregular algebras. Using it we show that a subset is a class of some congruence on containing if and only if is this generalized deductive system. This method is efficient (needs a finite number of steps).
Hyperfinite and standard unifications for physical theories.
On exact conditionals.
On ideals in De Morgan residuated lattices
In this paper, we introduce a new class of residuated lattices called De Morgan residuated lattices, we show that the variety of De Morgan residuated lattices includes important subvarieties of residuated lattices such as Boolean algebras, MV-algebras, BL-algebras, Stonean residuated lattices, MTL-algebras and involution residuated lattices. We investigate specific properties of ideals in De Morgan residuated lattices, we state the prime ideal theorem and the pseudo-complementedness of the ideal...
On the Leibniz congruences
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 the interderivability...
Polyadic algebras over nonclassical logics
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.
Some remarks on the consequence operation in sentential logics
The best possible unification for any collection of physical theories.
Независимость постулатов натуральных исчислений
О системе аксиом исчисления строгой импликации