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:

OSORIO, MAURICIO;
CASTELLANOS JOO, JOSÉ ABEL

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:

ARDESHIR, MOHAMMAD;
GHAFOURI, ZAHRA

Publication type:

Article

Anaphors and Quantifiers.

Published in:

Logic Journal of the IGPL, 2017, v. 25, n. 2, p. 271

By:

Zuber, R.

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:

Fan Yang

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:

Katsuhiko Sano;
Virtema, Jonni

Publication type:

Article

The Semantics of Corrections.

Published in:

Logic Journal of the IGPL, 2017, v. 25, n. 2, p. 270

By:

Rudin, Deniz;
DeVries, Karl;
Duek, Karen;
Kraus, Kelsey;
Brasoveanu, Adrian

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:

Rönnholm, Raine

Publication type:

Article

True Concurrency of Deep Inference Proofs.

Published in:

Logic Journal of the IGPL, 2017, v. 25, n. 2, p. 268

By:

Kahramanoğulları, Ozan

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:

Frittella, Sabine;
Greco, Giuseppe;
Palmigiano, Alessandra;
Yang, Fan

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:

Midena Ramos, Marcus Vinícius;
de Queiroz, Ruy J. G. B.;
Moreira, Nelma;
Bacelar Almeida, José Carlos

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:

Conradie, Willem;
Frittella, Sabine;
Palmigiano, Alessandra;
Piazzai, Michele;
Tzimoulis, Apostolos;
Wijnberg, Nachoem M.

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:

Pouliasis, Konstantinos

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:

Haak, Anselm;
Vollmer, Heribert

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:

de Oliveira Oliveira, Mateus

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:

Zhe Lin;
Minghui Ma

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:

Braüner, Torben;
Blackburn, Patrick;
Polyanskaya, Irina

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:

Aguilera, Juan P.;
Baaz, Matthias

Publication type:

Article

Ultrafilters in dynamics and Ramsey theory.

Published in:

Logic Journal of the IGPL, 2017, v. 25, n. 2, p. 261

By:

Bartošová, Dana

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:

Corander, Jukka;
Hyttinen, Antti;
Kontinen, Juha;
Pensar, Johan;
Väänänen, Jouko

Publication type:

Article

Descriptive complexity of graph spectra.

Published in:

Logic Journal of the IGPL, 2017, v. 25, n. 2, p. 267

By:

Dawar, Anuj;
Severini, Simone;
Zapata, Octavio

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:

Makowsky, J. A.;
Ravve, E. V.

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:

Axelsen, Holger Bock;
Glöck, Robert;
Kaarsgaard, Robin

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:

Baltag, Alexandru;
Bezhanishvili, Nick;
Özgün, Aybüke;
Smets, Sonja

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:

Baldwin, John T.

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:

Barceló, Pablo

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:

Villaveces, Andrés

Publication type:

Article

Compactness in Infinitary Gödel Logics.

Published in:

Logic Journal of the IGPL, 2017, v. 25, n. 2, p. 264

By:

Aguilera, Juan P.

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:

Palmigiano, Alessandra

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:

Accattoli, Beniamino

Publication type:

Article

Sheaves of Metric Structures.

Published in:

Logic Journal of the IGPL, 2017, v. 25, n. 2, p. 263

By:

Ochoa, Maicol A.;
Villaveces, Andrés

Publication type:

Article

Informational Cascades: A Test for Rationality?

Published in:

Logic Journal of the IGPL, 2017, v. 25, n. 2, p. 263

By:

Smets, Sonja

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:

Palmigiano, Alessandra

Publication type:

Article

Tutorials.

Published in:

Logic Journal of the IGPL, 2017, v. 25, n. 2, p. 257

By:

Barceló, Pablo;
Smets, Sonja;
Makowsky, J. A.

Publication type:

Article

Tribute to Solomon Feferman.

Published in:

Logic Journal of the IGPL, 2017, v. 25, n. 2, p. 256

By:

de Paiva, Valeria

Publication type:

Article

In Memoriam: Solomon Feferman.

Published in:

2017

By:

Sieg, Wilfried

Publication type:

Obituary

23rd Workshop on Logic, Language, Information and Computation (WoLLIC 2016).

Published in:

2017

By:

VÄÄNÄNEN, JOUKO;
DE QUEIROZ, RUY;
OSORIO GALINDO, MAURICIO;
ZEPEDA CORTÉS, CLAUDIA;
ARRAZOLA RAMÍREZ, JOSÉ R.

Publication type:

Proceeding

Weak subintuitionistic logics.

Published in:

Logic Journal of the IGPL, 2017, v. 25, n. 2, p. 214, doi. 10.1093/jigpal/jzw062

By:

MALEKI, FATEMEH SHIRMOHAMMADZADEH;
DE JONGH, DICK

Publication type:

Article

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:

AGUADO, F.;
ASCARIZ, P.;
CABALAR, P.;
PÉREZ, G.;
VIDAL, C.

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:

AVRON, ARNON;
BEZIAU, JEAN-YVES

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:

HARTONAS, CHRYSAFIS

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:

CARRARA, MASSIMILIANO;
CHIFFI, DANIELE;
DE FLORIO, CIRO

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:

FERREIRA, GILDA

Publication type:

Article