Found: 19
Select item for more details and to access through your institution.
The G4i Analogue of a G3i Sequent Calculus.
- Published in:
- Studia Logica, 2022, v. 110, n. 6, p. 1493, doi. 10.1007/s11225-022-10008-3
- By:
- Publication type:
- Article
STABLE CANONICAL RULES.
- Published in:
- Journal of Symbolic Logic, 2016, v. 81, n. 1, p. 284, doi. 10.1017/jsl.2015.54
- By:
- Publication type:
- Article
UNIFICATION IN INTERMEDIATE LOGICS.
- Published in:
- Journal of Symbolic Logic, 2015, v. 80, n. 3, p. 713, doi. 10.1017/jsl.2015.5
- By:
- Publication type:
- Article
Skolemization in intermediate logics with the finite model property.
- Published in:
- Logic Journal of the IGPL, 2016, v. 24, n. 3, p. 224, doi. 10.1093/jigpal/jzw010
- By:
- Publication type:
- Article
Consequence Relations and Admissible Rules.
- Published in:
- Journal of Philosophical Logic, 2016, v. 45, n. 3, p. 327, doi. 10.1007/s10992-015-9380-8
- By:
- Publication type:
- Article
On Rules.
- Published in:
- Journal of Philosophical Logic, 2015, v. 44, n. 6, p. 697, doi. 10.1007/s10992-015-9354-x
- By:
- Publication type:
- Article
RSL volume 4 issue 2 Cover and Front matter.
- Published in:
- Review of Symbolic Logic, 2011, v. 4, n. 2, p. f1, doi. 10.1017/S175502031100013X
- By:
- Publication type:
- Article
Editorial: Special issue on non-classical modal and predicate logics.
- Published in:
- Logic Journal of the IGPL, 2014, v. 22, n. 3, p. 411, doi. 10.1093/jigpal/jzt040
- By:
- Publication type:
- Article
Properties of Intuitionistic Provability and Preservativity Logics.
- Published in:
- Logic Journal of the IGPL, 2005, v. 13, n. 6, p. 615, doi. 10.1093/jigpal/jzi047
- By:
- Publication type:
- Article
Preservativity logic: An analogue of interpretability logic for constructive theories.
- Published in:
- Mathematical Logic Quarterly, 2003, v. 49, n. 3, p. 230, doi. 10.1002/malq.200310023
- By:
- Publication type:
- Article
2016 EUROPEAN SUMMER MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC LOGIC COLLOQUIUM '16 Leeds, UK July 31-August 6, 2016.
- Published in:
- 2017
- By:
- Publication type:
- Proceeding
Terminating sequent calculi for two intuitionistic modal logics.
- Published in:
- Journal of Logic & Computation, 2018, v. 28, n. 7, p. 1701, doi. 10.1093/logcom/exy026
- By:
- Publication type:
- Article
Eskolemization in Intuitionistic Logic.
- Published in:
- Journal of Logic & Computation, 2011, v. 21, n. 4, p. 625, doi. 10.1093/logcom/exp040
- By:
- Publication type:
- Article
A Note on Linear Kripke Models.
- Published in:
- Journal of Logic & Computation, 2005, v. 15, n. 4, p. 489, doi. 10.1093/logcom/exi031
- By:
- Publication type:
- Article
Gentzen Calculi for the Existence Predicate.
- Published in:
- Studia Logica, 2006, v. 82, n. 1, p. 7, doi. 10.1007/s11225-006-6603-6
- By:
- Publication type:
- Article
Uniform interpolation and sequent calculi in modal logic.
- Published in:
- Archive for Mathematical Logic, 2019, v. 58, n. 1/2, p. 155, doi. 10.1007/s00153-018-0629-0
- By:
- Publication type:
- Article
Structural completeness in propositional logics of dependence.
- Published in:
- Archive for Mathematical Logic, 2016, v. 55, n. 7/8, p. 955, doi. 10.1007/s00153-016-0505-8
- By:
- Publication type:
- Article
Kripke models for subtheories of CZF.
- Published in:
- Archive for Mathematical Logic, 2010, v. 49, n. 2, p. 147, doi. 10.1007/s00153-009-0164-0
- By:
- Publication type:
- Article
On the rules of intermediate logics.
- Published in:
- Archive for Mathematical Logic, 2006, v. 45, n. 5, p. 581, doi. 10.1007/s00153-006-0320-8
- By:
- Publication type:
- Article