Works matching IS 00393215 AND DT 2015 AND VI 103 AND IP 6
Results: 11
Decidability of Logics Based on an Indeterministic Metric Tense Logic.
- Published in:
- Studia Logica, 2015, v. 103, n. 6, p. 1123, doi. 10.1007/s11225-015-9613-4
- By:
- Publication type:
- Article
Trakhtenbrot Theorem and First-Order Axiomatic Extensions of MTL.
- Published in:
- Studia Logica, 2015, v. 103, n. 6, p. 1163, doi. 10.1007/s11225-015-9614-3
- By:
- Publication type:
- Article
First-Order Logic in the Medvedev Lattice.
- Published in:
- Studia Logica, 2015, v. 103, n. 6, p. 1185, doi. 10.1007/s11225-015-9615-2
- By:
- Publication type:
- Article
Reduction Rules for Intuitionistic $${{\lambda}{\rho}}$$ -calculus.
- Published in:
- Studia Logica, 2015, v. 103, n. 6, p. 1225, doi. 10.1007/s11225-015-9616-1
- By:
- Publication type:
- Article
Dual Erotetic Calculi and the Minimal $${\mathsf{LFI}}$$.
- Published in:
- Studia Logica, 2015, v. 103, n. 6, p. 1245, doi. 10.1007/s11225-015-9617-0
- By:
- Publication type:
- Article
Periodicity and Reflexivity in Revision Sequences.
- Published in:
- Studia Logica, 2015, v. 103, n. 6, p. 1279, doi. 10.1007/s11225-015-9619-y
- By:
- Publication type:
- Article
The Faithfulness of F: A Proof-Theoretic Proof.
- Published in:
- Studia Logica, 2015, v. 103, n. 6, p. 1303, doi. 10.1007/s11225-015-9620-5
- By:
- Publication type:
- Article
On the Disjunctive Markov Principle.
- Published in:
- Studia Logica, 2015, v. 103, n. 6, p. 1313, doi. 10.1007/s11225-015-9627-y
- By:
- Publication type:
- Article
Erratum to: Trakhtenbrot Theorem and First-Order Axiomatic Extensions of MTL.
- Published in:
- 2015
- By:
- Publication type:
- Erratum
Book Review: Henk Barendregt, Will Dekkers, Richard Statman et al., Lambda Calculus With Types.
- Published in:
- 2015
- By:
- Publication type:
- Book Review
Negational Fragment of Intuitionistic Control Logic.
- Published in:
- Studia Logica, 2015, v. 103, n. 6, p. 1101, doi. 10.1007/s11225-015-9610-7
- By:
- Publication type:
- Article