Found: 11
Select item for more details and to access through your institution.
Towards an algorithmic construction of cut-elimination procedures?
- Published in:
- Mathematical Structures in Computer Science, 2008, v. 18, n. 1, p. 81, doi. 10.1017/S0960129507006573
- By:
- Publication type:
- Article
Enforcing ethical goals over reinforcement-learning policies.
- Published in:
- Ethics & Information Technology, 2022, v. 24, n. 4, p. 1, doi. 10.1007/s10676-022-09665-8
- By:
- Publication type:
- Article
Mīmāṃsā deontic reasoning using specificity: a proof theoretic approach.
- Published in:
- Artificial Intelligence & Law, 2021, v. 29, n. 3, p. 351, doi. 10.1007/s10506-020-09278-w
- By:
- Publication type:
- Article
Hypersequent and Display Calculi - a Unified Perspective.
- Published in:
- Studia Logica, 2014, v. 102, n. 6, p. 1245, doi. 10.1007/s11225-014-9566-z
- By:
- Publication type:
- Article
Towards a Semantic Characterization of Cut-Elimination.
- Published in:
- Studia Logica, 2006, v. 82, n. 1, p. 95, doi. 10.1007/s11225-006-6607-2
- By:
- Publication type:
- Article
Preface.
- Published in:
- Journal of Logic & Computation, 2017, v. 27, n. 2, p. 607, doi. 10.1093/logcom/exu076
- By:
- Publication type:
- Article
Proof theory of witnessed Gödel logic: A negative result.
- Published in:
- Journal of Logic & Computation, 2016, v. 26, n. 1, p. 51, doi. 10.1093/logcom/ext018
- By:
- Publication type:
- Article
Hypersequent Calculi for Gödel Logics — a Survey.
- Published in:
- Journal of Logic & Computation, 2003, v. 13, n. 6, p. 835, doi. 10.1093/logcom/13.6.835
- By:
- Publication type:
- Article
Hypersequent Calculi for some Intermediate Logics with Bounded Kripke Models.
- Published in:
- Journal of Logic & Computation, 2001, v. 11, n. 2, doi. 10.1093/logcom/11.2.283
- By:
- Publication type:
- Article
Sequent calculi for finite-valued Lukasiewicz logics via Boolean decompositions.
- Published in:
- Journal of Logic & Computation, 2000, v. 10, n. 2, doi. 10.1093/logcom/10.2.213
- By:
- Publication type:
- Article
A proof-theoretical investigation of global intuitionistic (fuzzy) logic.
- Published in:
- Archive for Mathematical Logic, 2005, v. 44, n. 4, p. 435, doi. 10.1007/s00153-004-0265-8
- By:
- Publication type:
- Article