Wyniki
-
Minimal deontic logic
J.F.A.K. van Benthem
Bulletin of the Section of Logic , 8 /1 (1979) s. 36-41 -
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 -
Neighbourhood Semantic for Graded Modal Logic
Jinsheng Chen, Hans van Ditmarsch, Giuseppe Greco, Apostolos Tzimoulis
Bulletin of the Section of Logic , 50 /3 (2021) s. 373-395 -
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