Found: 30
Select item for more details and to access through your institution.
Decomposition Proof Systems for Gödel-Dummett Logics.
- Published in:
- Studia Logica, 2001, v. 69, n. 2, p. 197, doi. 10.1023/A:1013813806341
- By:
- Publication type:
- Article
Encoding Modal Logics in Logical Frameworks.
- Published in:
- Studia Logica, 1998, v. 60, n. 1, p. 161, doi. 10.1023/A:1005060022386
- By:
- Publication type:
- Article
Proof Systems for 3-valued Logics Based on Gödel's Implication.
- Published in:
- Logic Journal of the IGPL, 2022, v. 30, n. 3, p. 437, doi. 10.1093/jigpal/jzab013
- By:
- Publication type:
- Article
Paraconsistency, self-extensionality, modality.
- Published in:
- Logic Journal of the IGPL, 2020, v. 28, n. 5, p. 851, doi. 10.1093/jigpal/jzy064
- By:
- Publication type:
- Article
Self-extensional three-valued paraconsistent logics have no implication.
- Published in:
- Logic Journal of the IGPL, 2017, v. 25, n. 2, p. 183, doi. 10.1093/jigpal/jzw059
- By:
- Publication type:
- Article
Ancestral Logic: A Proof Theoretical Study.
- Published in:
- Logic Journal of the IGPL, 2015, v. 23, n. 5, p. 857, doi. 10.1093/jigpal/jzv022
- By:
- Publication type:
- Article
THE PROBLEMATIC NATURE OF GÖDEL'S DISJUNCTIONS AND LUCAS-PENROSE'S THESES.
- Published in:
- Semiotic Studies / Studia Semiotyczne, 2020, v. 34, n. 1, p. 83, doi. 10.26333/sts.xxxiv1.05
- By:
- Publication type:
- Article
POINCARÉ–WEYL'S PREDICATIVITY: GOING BEYOND $\Gamma _{0}$.
- Published in:
- Bulletin of Symbolic Logic, 2024, v. 30, n. 1, p. 41, doi. 10.1017/bsl.2024.2
- By:
- Publication type:
- Article
WEYL REEXAMINED: "DAS KONTINUUM" 100 YEARS LATER.
- Published in:
- Bulletin of Symbolic Logic, 2020, v. 26, n. 1, p. 26, doi. 10.1017/bsl.2020.23
- By:
- Publication type:
- Article
Paraconsistency and the need for infinite semantics.
- Published in:
- Soft Computing - A Fusion of Foundations, Methodologies & Applications, 2019, v. 23, n. 7, p. 2167, doi. 10.1007/s00500-018-3272-0
- By:
- Publication type:
- Article
REXPANSIONS OF NONDETERMINISTIC MATRICES AND THEIR APPLICATIONS IN NONCLASSICAL LOGICS.
- Published in:
- Review of Symbolic Logic, 2019, v. 12, n. 1, p. 173, doi. 10.1017/S1755020318000321
- By:
- Publication type:
- Article
Effective Non-deterministic Semantics for first-order LFIs.
- Published in:
- Journal of Multiple-Valued Logic & Soft Computing, 2007, v. 13, n. 4-6, p. 335
- By:
- Publication type:
- Article
Four-Valued Paradefinite Logics.
- Published in:
- Studia Logica, 2017, v. 105, n. 6, p. 1087, doi. 10.1007/s11225-017-9721-4
- By:
- Publication type:
- Article
Maximal and Premaximal Paraconsistency in the Framework of Three-Valued Semantics.
- Published in:
- Studia Logica, 2011, v. 97, n. 1, p. 31, doi. 10.1007/s11225-010-9296-9
- By:
- Publication type:
- Article
Multi-valued Semantics: Why and How.
- Published in:
- Studia Logica, 2009, v. 92, n. 2, p. 163, doi. 10.1007/s11225-009-9193-2
- By:
- Publication type:
- Article
Proof Systems for Reasoning about Computation Errors.
- Published in:
- Studia Logica, 2009, v. 91, n. 2, p. 273, doi. 10.1007/s11225-009-9175-4
- By:
- Publication type:
- Article
Cut-Elimination and Quantification in Canonical Systems.
- Published in:
- Studia Logica, 2006, v. 82, n. 1, p. 157, doi. 10.1007/s11225-006-6611-6
- By:
- Publication type:
- Article
A Non-deterministic View on Non-classical Negations.
- Published in:
- Studia Logica, 2005, v. 80, n. 2/3, p. 159, doi. 10.1007/s11225-005-8468-5
- By:
- Publication type:
- Article
Cut-free sequent calculi for C-systems with generalized finite-valued semantics.
- Published in:
- Journal of Logic & Computation, 2013, v. 23, n. 3, p. 517, doi. 10.1093/logcom/exs039
- By:
- Publication type:
- Article
A semantic proof of strong cut-admissibility for first-order Gödel logic.
- Published in:
- Journal of Logic & Computation, 2013, v. 23, n. 1, p. 59, doi. 10.1093/logcom/exs006
- By:
- Publication type:
- Article
A Simple Proof of Completeness and Cut-admissibility for Propositional Gödel Logic.
- Published in:
- Journal of Logic & Computation, 2011, v. 21, n. 5, p. 813, doi. 10.1093/logcom/exp055
- By:
- Publication type:
- Article
Editorial.
- Published in:
- Journal of Logic & Computation, 2009, v. 19, n. 6, p. 969, doi. 10.1093/logcom/exn107
- By:
- Publication type:
- Article
Non-deterministic Multiple-valued Structures.
- Published in:
- Journal of Logic & Computation, 2005, v. 15, n. 3, p. 241, doi. 10.1093/logcom/exi001
- By:
- Publication type:
- Article
On the expressive power of three-valued and four-valued languages.
- Published in:
- Journal of Logic & Computation, 1999, v. 9, n. 6, doi. 10.1093/logcom/9.6.977
- By:
- Publication type:
- Article
Formalizing Scientifically Applicable Mathematics in a Definitional Framework.
- Published in:
- Journal of Formalized Reasoning, 2016, v. 9, n. 1, p. 53
- By:
- Publication type:
- Article
Multi-valued Calculi for Logics Based on Non-determinism.
- Published in:
- Logic Journal of the IGPL, 2005, v. 13, n. 4, p. 365, doi. 10.1093/jigpal/jzi030
- By:
- Publication type:
- Article
Multiplicative Conjunction as an Extensional Conjunction.
- Published in:
- Logic Journal of the IGPL, 1997, v. 5, n. 2, p. 181, doi. 10.1093/jigpal/5.2.181
- By:
- Publication type:
- Article
Breaking the Tie: Benacerraf's Identification Argument Revisited.
- Published in:
- Philosophia Mathematica, 2023, v. 31, n. 1, p. 81, doi. 10.1093/philmat/nkac022
- By:
- Publication type:
- Article
Quasi-canonical systems and their semantics.
- Published in:
- Synthese, 2021, v. 198, p. 5353, doi. 10.1007/s11229-018-02045-0
- By:
- Publication type:
- Article
The middle ground-ancestral logic.
- Published in:
- Synthese, 2019, v. 196, n. 7, p. 2671, doi. 10.1007/s11229-015-0784-3
- By:
- Publication type:
- Article