Wyniki
-
Weak Implication on Generalized Łukasiewicz Algebras of Order n
A.V. Figallo, C. Gallardo, A. Ziliani
Bulletin of the Section of Logic , 39 /3-4 (2010) s. 187-198 -
Cylindric algebras with a property of Rasiowa and Sikorski
Charles C. Pinter
Bulletin of the Section of Logic , 7 /2 (1978) s. 95 -
Complementary sentential logics
Achille C. Varzi
Bulletin of the Section of Logic , 19 /4 (1990) s. 112-116 -
Remarks on Hertz Algebras and Implicative Semilattices
A. Figallo, A. Ziliani
Bulletin of the Section of Logic , 34 /1 (2005) s. 37-42 -
Physical topology: some problems
C. Mortensen, G. Nerlich
Bulletin of the Section of Logic , 6 /3 (1977) -
Correction to Common logic of binary connective has finite maximality degree
C. Jahns, Wolfgang Rautenberg
Bulletin of the Section of Logic , 20 /1 (1991) s. 30-35 -
On Some Extensions of Intuitionistic Logic
Rodolfo C. Ertola Biraben
Bulletin of the Section of Logic , 41 /1-2 (2012) s. 17-22 -
The structure of type theory
S. H. Voss, C. Sayword
Bulletin of the Section of Logic , 6 /3 (1977) -
An absolute first order predicte calculus
Vladimir A. Smirnov
Bulletin of the Section of Logic , 2 /1 (1973) s. 38-43 -
On the metamathematics of ordinal arithmetics
E. A. Sonenberg
Bulletin of the Section of Logic , 6 /3 (1977) -
A natural deduction relevance logic
Frederic A. Johnson
Bulletin of the Section of Logic , 6 /4 (1977) s. 164-170 -
Internal and external logic
Vladimir A. Smirnov
Bulletin of the Section of Logic , 17 /3-4 (1988) s. 170-181 -
Operators on branched quantifiers
Mark A. Brown
Bulletin of the Section of Logic , 20 /3-4 (1991) s. 83-84 -
Some remarks on definable quantifiers
Aleksandre A. Ivanov
Bulletin of the Section of Logic , 20 /3-4 (1991) s. 107 -
A Note on Nuclei of Quantale Algebras
Sergey A. Solovyov
Bulletin of the Section of Logic , 40 /1-2 (2011) s. 91-112 -
A tableau system for positive relevant implication
Michael A. Mc Robbie
Bulletin of the Section of Logic , 6 /3 (1977) -
PC-lattices: A Class of Bounded BCK-algebras
Khosravi Shoar, R. A. Borzooei, R. Moradian, A. Radfar
Bulletin of the Section of Logic , 47 /1 (2018) s. 33-44 -
Description of self-admissible quasi-characterizing inference rules
Vladimir V. Rybakov, M. Terziler, C. Gencer
Bulletin of the Section of Logic , 27 /4 (1998) s. 164-171 -
An essay on unification and inference rules for modal logics
Vladimir V. Rybakov, M. Terziler, C. Gencer
Bulletin of the Section of Logic , 28 /3 (1999) s. 145-158 -
On Axiomatic Products of PDL and S5: Substitution, Tests and Knowledge
Renate A. Schmidt, Dmitry Tishkovsky
Bulletin of the Section of Logic , 31 /1 (2002) s. 27-36