Wyniki
-
Remarks on Hertz Algebras and Implicative Semilattices
A. Figallo, A. Ziliani
Bulletin of the Section of Logic , 34 /1 (2005) s. 37-42 -
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 -
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 -
On the Injectivity of the Leibniz Operator
L. Descalco, Manuel A. Martins
Bulletin of the Section of Logic , 34 /4 (2005) s. 203-211 -
Admissible Equivalence Systems
Sergey Babenyshev, Manuel A. Martins
Bulletin of the Section of Logic , 39 /1-2 (2010) s. 17-33 -
Proof tableau formulations of some first-order relevant ortho-logics
Michael A. McRobbie, Nuel D. Belnap
Bulletin of the Section of Logic , 13 /4 (1984) s. 233-239 -
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 -
On Injective MV-Modules
S. Saidi Goraghani, R. A. Borzooei
Bulletin of the Section of Logic , 47 /4 (2018) s. 283-298 -
A Semantics for Equational Hybrid Propositional Type Theory
Maria Manzano, Manuel A. Martins, Antonia Huertas
Bulletin of the Section of Logic , 43 /3-4 (2014) s. 121-138 -
Free Modal Pseudocomplemented De Morgan Algebras
A. V. Figallo, Nora Oliva, Alicia Ziliani
Bulletin of the Section of Logic , 47 /2 (2018) s. 89-106 -
A mechanized decision procedure for non-classical logics: The program KRIPKE
Michael A. McRobbie, Paul B. Thistlewaite, Robert K. Meyer
Bulletin of the Section of Logic , 9 /4 (1980) s. 189-192 -
Fork algebras are representable
Marcelo F. Frias, Gabriel A. Baum, Armando M. Haeberer, Paulo A.S. Veloso
Bulletin of the Section of Logic , 24 /2 (1995) s. 64-75