Przeglądaj Bulletin of the Section of Logic 54/1 (2025) według tematu
Wyświetlanie pozycji 1-20 z 24
| Temat |
|---|
| assertion [1] |
| assumption [1] |
| bi-intuitionistic logic [1] |
| bilateralism [2] |
| Bunched implication [1] |
| Conditional logic [1] |
| denial [1] |
| Display calculus [1] |
| External calculus [1] |
| Hypersequent [1] |
| Internal calculus [1] |
| Intuitionistic logic [1] |
| Labeled calculus [1] |
| meaning of proofs [1] |
| Modal logic [1] |
| Nested calculus [1] |
| proof identity [1] |
| Proof theory [1] |
| proof-theoretic semantics [1] |
| refutations [1] |