Found 12 Documents (Results 1–12)
Connections between some notions of completeness of structural propositional calculi. (English) Zbl 0345.02037
Proof of structural completeness of a certain class of implicative propositional calculi. (English) Zbl 0343.02037
The diagrams of formulas of the intuitionistic propositional calculus. (English) Zbl 0322.02021
MSC:
03B55
A complete negationless system. (English) Zbl 0317.02025
MSC:
03B55
Classical relevant logics. I. (English) Zbl 0316.02029
Definability of classes of graphs in the first order predicate calculus with identity. (English) Zbl 0312.02044
Filter Results by …
all
top 5
Author
- Bryll, Grzegorz (1)
- Doraczynski, Roman (1)
- Dzik, Wojciech (1)
- Iwanus, Boguslaw (1)
- Koncewicz, Leszek (1)
- Meyer, Robert Kenneth (1)
- Prucnal, Tadeusz (1)
- Sylvan, Richard (1)
- Ruzsa, Imre (1)
- Słupecki, Jerzy (1)
- Tokarz, Marek (1)
- Wasilewska, Anita (1)
- Wojcicki, Ryszard (1)
- Wronski, Andrzej (1)