Works matching IS 13670751 AND DT 2017 AND VI 25 AND IP 2
Results: 42
Equivalence among RC-type paraconsistent logics.
- Published in:
- Logic Journal of the IGPL, 2017, v. 25, n. 2, p. 239, doi. 10.1093/jigpal/jzw065
- By:
- Publication type:
- Article
The principle of open induction and Specker sequences.
- Published in:
- Logic Journal of the IGPL, 2017, v. 25, n. 2, p. 232, doi. 10.1093/jigpal/jzw064
- By:
- Publication type:
- Article
Anaphors and Quantifiers.
- Published in:
- Logic Journal of the IGPL, 2017, v. 25, n. 2, p. 271
- By:
- Publication type:
- Article
Negation and partial axiomatizations of dependence and independence logic revisited.
- Published in:
- Logic Journal of the IGPL, 2017, v. 25, n. 2, p. 271
- By:
- Publication type:
- Article
Characterizing Relative Frame Definability in Team Semantics via the Universal Modality.
- Published in:
- Logic Journal of the IGPL, 2017, v. 25, n. 2, p. 141
- By:
- Publication type:
- Article
The Semantics of Corrections.
- Published in:
- Logic Journal of the IGPL, 2017, v. 25, n. 2, p. 270
- By:
- Publication type:
- Article
The Expressive Power of k-ary Exclusion Logic.
- Published in:
- Logic Journal of the IGPL, 2017, v. 25, n. 2, p. 270
- By:
- Publication type:
- Article
On the Formalization of Some Results of Context-Free Language Theory.
- Published in:
- Logic Journal of the IGPL, 2017, v. 25, n. 2, p. 270
- By:
- Publication type:
- Article
A Curry-Howard view of basic justification logic.
- Published in:
- Logic Journal of the IGPL, 2017, v. 25, n. 2, p. 269
- By:
- Publication type:
- Article
Causality in Bounded Petri Nets is MSO Definable.
- Published in:
- Logic Journal of the IGPL, 2017, v. 25, n. 2, p. 269
- By:
- Publication type:
- Article
On the Complexity of the Equational Theory of Residuated Boolean Algebras.
- Published in:
- Logic Journal of the IGPL, 2017, v. 25, n. 2, p. 269
- By:
- Publication type:
- Article
True Concurrency of Deep Inference Proofs.
- Published in:
- Logic Journal of the IGPL, 2017, v. 25, n. 2, p. 268
- By:
- Publication type:
- Article
Justified Belief and the Topology of Evidence.
- Published in:
- Logic Journal of the IGPL, 2017, v. 25, n. 2, p. 265
- By:
- Publication type:
- Article
Foundations of Mathematics: Reliability AND Clarity: the explanatory role of mathematical induction.
- Published in:
- Logic Journal of the IGPL, 2017, v. 25, n. 2, p. 265
- By:
- Publication type:
- Article
A Model-Theoretic Characterization of Constant-Depth Arithmetic Circuits.
- Published in:
- Logic Journal of the IGPL, 2017, v. 25, n. 2, p. 268
- By:
- Publication type:
- Article
A multi-type calculus for inquisitive logic.
- Published in:
- Logic Journal of the IGPL, 2017, v. 25, n. 2, p. 268
- By:
- Publication type:
- Article
Categories: How I Learned to Stop Worrying and Love Two Sorts.
- Published in:
- Logic Journal of the IGPL, 2017, v. 25, n. 2, p. 266
- By:
- Publication type:
- Article
Second-order false-belief tasks: Analysis and formalization.
- Published in:
- Logic Journal of the IGPL, 2017, v. 25, n. 2, p. 266
- By:
- Publication type:
- Article
Descriptive complexity of graph spectra.
- Published in:
- Logic Journal of the IGPL, 2017, v. 25, n. 2, p. 267
- By:
- Publication type:
- Article
A logical approach to context-specific independence.
- Published in:
- Logic Journal of the IGPL, 2017, v. 25, n. 2, p. 267
- By:
- Publication type:
- Article
A Classical Propositional Logic for Reasoning about Reversible Logic Circuits.
- Published in:
- Logic Journal of the IGPL, 2017, v. 25, n. 2, p. 264
- By:
- Publication type:
- Article
Cut Elimination for Gödel Logic with an Operator adding a Constant.
- Published in:
- Logic Journal of the IGPL, 2017, v. 25, n. 2, p. 264
- By:
- Publication type:
- Article
Compactness in Infinitary Gödel Logics.
- Published in:
- Logic Journal of the IGPL, 2017, v. 25, n. 2, p. 264
- By:
- Publication type:
- Article
The Useful MAM,a Reasonable Implementation of the Strong λ-Calculus.
- Published in:
- Logic Journal of the IGPL, 2017, v. 25, n. 2, p. 264
- By:
- Publication type:
- Article
Sheaves of Metric Structures.
- Published in:
- Logic Journal of the IGPL, 2017, v. 25, n. 2, p. 263
- By:
- Publication type:
- Article
Informational Cascades: A Test for Rationality?
- Published in:
- Logic Journal of the IGPL, 2017, v. 25, n. 2, p. 263
- By:
- Publication type:
- Article
Proof systems for the logics for social behaviour.
- Published in:
- Logic Journal of the IGPL, 2017, v. 25, n. 2, p. 262
- By:
- Publication type:
- Article
Semantic Equivalence of Graph Polynomials Definable in Second Order Logic.
- Published in:
- Logic Journal of the IGPL, 2017, v. 25, n. 2, p. 261
- By:
- Publication type:
- Article
Ultrafilters in dynamics and Ramsey theory.
- Published in:
- Logic Journal of the IGPL, 2017, v. 25, n. 2, p. 261
- By:
- Publication type:
- Article
Semantic Acyclicity for Conjunctive Queries: Approximations and Constraints.
- Published in:
- Logic Journal of the IGPL, 2017, v. 25, n. 2, p. 261
- By:
- Publication type:
- Article
Generalized amalgamation classes and limit models: implicit logics.
- Published in:
- Logic Journal of the IGPL, 2017, v. 25, n. 2, p. 260
- By:
- Publication type:
- Article
Sahlqvist Correspondence via Duality and its Applications.
- Published in:
- Logic Journal of the IGPL, 2017, v. 25, n. 2, p. 259
- By:
- Publication type:
- Article
Tutorials.
- Published in:
- Logic Journal of the IGPL, 2017, v. 25, n. 2, p. 257
- By:
- Publication type:
- Article
Tribute to Solomon Feferman.
- Published in:
- Logic Journal of the IGPL, 2017, v. 25, n. 2, p. 256
- By:
- Publication type:
- Article
Order-dual relational semantics for non-distributive propositional logics.
- Published in:
- Logic Journal of the IGPL, 2017, v. 25, n. 2, p. 145, doi. 10.1093/jigpal/jzw057
- By:
- Publication type:
- Article
Assertions and hypotheses: A logical framework for their opposition relations.
- Published in:
- Logic Journal of the IGPL, 2017, v. 25, n. 2, p. 131, doi. 10.1093/jigpal/jzw036
- By:
- Publication type:
- Article
η-conversions of IPC implemented in atomic F.
- Published in:
- Logic Journal of the IGPL, 2017, v. 25, n. 2, p. 115, doi. 10.1093/jigpal/jzw035
- By:
- Publication type:
- Article
23rd Workshop on Logic, Language, Information and Computation (WoLLIC 2016).
- Published in:
- 2017
- By:
- Publication type:
- Proceeding
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
In Memoriam: Solomon Feferman.
- Published in:
- 2017
- By:
- Publication type:
- Obituary
Verification for ASP denotational semantics: A case study using the PVS theorem prover.
- Published in:
- Logic Journal of the IGPL, 2017, v. 25, n. 2, p. 195, doi. 10.1093/jigpal/jzw060
- By:
- Publication type:
- Article
Weak subintuitionistic logics.
- Published in:
- Logic Journal of the IGPL, 2017, v. 25, n. 2, p. 214, doi. 10.1093/jigpal/jzw062
- By:
- Publication type:
- Article