Works matching IS 01380680 AND DT 2023 AND VI 52 AND IP 2
Results: 5
STRUCTURAL RULES IN NATURAL DEDUCTION WITH ALTERNATIVES.
- Published in:
- Bulletin of the Section of Logic, 2023, v. 52, n. 2, p. 109, doi. 10.18778/0138-0680.2023.6
- By:
- Publication type:
- Article
CORE TYPE THEORY.
- Published in:
- Bulletin of the Section of Logic, 2023, v. 52, n. 2, p. 145, doi. 10.18778/0138-0680.2023.19
- By:
- Publication type:
- Article
ON SYNONYMY IN PROOF-THEORETIC SEMANTICS. THE CASE OF 2Int.
- Published in:
- Bulletin of the Section of Logic, 2023, v. 52, n. 2, p. 187, doi. 10.18778/0138-0680.2023.18
- By:
- Publication type:
- Article
INTRODUCTION: BILATERALISM AND PROOF-THEORETIC SEMANTICS (PART I).
- Published in:
- Bulletin of the Section of Logic, 2023, v. 52, n. 2, p. 101, doi. 10.18778/0138-0680.2023.12
- By:
- Publication type:
- Article
DEFINITE FORMULAE, NEGATION-AS-FAILURE, AND THE BASE-EXTENSION SEMANTICS OF INTUITIONISTIC PROPOSITIONAL LOGIC.
- Published in:
- Bulletin of the Section of Logic, 2023, v. 52, n. 2, p. 239, doi. 10.18778/0138-0680.2023.16
- By:
- Publication type:
- Article