Wyniki
-
Tableaux variants of some modal and relevant systems
P. Bystrov
Bulletin of the Section of Logic , 17 /3-4 (1988) s. 92-103 -
A Cut-free Gentzen Calculus with Subformula Property for First-degree Entailments in LC
Alexej P. Pynko
Bulletin of the Section of Logic , 32 /3 (2003) s. 137-146 -
Sequential Calculi for Many-valued Logics with Equality Determinant
Alexej P. Pynko
Bulletin of the Section of Logic , 33 /1 (2004) s. 23-32 -
Gentzen's Cut-Free Calculus Versus the Logic of Paradox
Alexej P. Pynko
Bulletin of the Section of Logic , 39 /1-2 (2010) s. 35-42 -
On Deductive Bases for Partial Equilibrium Logic
Sergei P. Odintsov
Bulletin of the Section of Logic , 41 /3-4 (2012) s. 199-213 -
Minimal Sequent Calculi for Lukasiewicz's Finitely-Valued Logics
Alexej P. Pynko
Bulletin of the Section of Logic , 44 /3-4 (2015) s. 149-154 -
Four-Valued Expansions of Dunn-Belnap's Logic (I) : Basic Characterizations
Alexej P. Pynko
Bulletin of the Section of Logic , 49 /4 (2020) s. 401-437 -
Entailment relations and matrices I
Jan Zygmunt
Bulletin of the Section of Logic , 8 /2 (1979) s. 112-119 -
The strongly adequate matrices of the form of product of Lindenbaum's matrices
Jan Bernert
Bulletin of the Section of Logic , 9 /3 (1980) s. 102-107 -
Notes on decidability and finite approximability of sentential logics
Jan Zygmunt
Bulletin of the Section of Logic , 10 /1 (1981) s. 38-41 -
Metamathematics and philosophy
Jan Woleński
Bulletin of the Section of Logic , 12 /4 (1983) s. 221-225 -
First order modal logic of closure spaces with equality
Jan Plaza
Bulletin of the Section of Logic , 15 /1 (1986) s. 21-28 -
Wajsberg on the first-order predicate calculus for the finite models
Jan Woleński
Bulletin of the Section of Logic , 2 /2 (1973) s. 107-110 -
On theories of non-monotonic consequence operations
Jan Fijałkowski
Bulletin of the Section of Logic , 18 /2 (1989) s. 44-50 -
Remarks on Identity Across Possible Worlds
Jan Woleński
Bulletin of the Section of Logic , 37 /3-4 (2008) s. 273-287 -
The Principle of Bivalence and Suszko Thesis
Jan Woleński
Bulletin of the Section of Logic , 38 /3-4 (2009) s. 99-110 -
Universality of Logic
Jan Woleński
Bulletin of the Section of Logic , 46 /1-2 (2017) s. 21-32