Works matching Inconsistency (Logic)

Results: 786

INCONSISTENCY-ADAPTIVE MODAL LOGICS On How to Cope with Modal Inconsistency.

Published in:

Logic & Logical Philosophy, 2010, v. 19, n. 3, p. 31

By:

Lycke, Hans

Publication type:

Article

INCONSISTENCY-ADAPTIVE MODAL LOGICS: On How to Cope with Modal Inconsistency.

Published in:

Logic & Logical Philosophy, 2010, v. 19, n. 1/2, p. 31, doi. 10.12775/LLP.2010.003

By:

Lycke, Hans

Publication type:

Article

Falsification-Aware Semantics for Temporal Logics and Their Inconsistency-Tolerant Subsystems: Theoretical Foundations of Falsification-Aware Model Checking.

Published in:: International Journal of Software Engineering & Knowledge Engineering, 2022, v. 32, n. 7, p. 971, doi. 10.1142/S0218194022500371
Publication type:: Article

LOGICS OF FORMAL INCONSISTENCY ENRICHED WITH REPLACEMENT: AN ALGEBRAIC AND MODAL ACCOUNT.

Published in:

Review of Symbolic Logic, 2022, v. 15, n. 3, p. 771, doi. 10.1017/S1755020321000277

By:

CARNIELLI, WALTER;
CONIGLIO, MARCELO E.;
FUENMAYOR, DAVID

Publication type:

Article

On a Four-Valued Logic of Formal Inconsistency and Formal Undeterminedness.

Published in:

Studia Logica, 2025, v. 113, n. 1, p. 183, doi. 10.1007/s11225-024-10106-4

By:

Coniglio, Marcelo E.;
Gomez–Pereira, G. T.;
Figallo, Martín

Publication type:

Article

Intuitionistic Implication and Logics of Formal Inconsistency.

Published in:

Axioms (2075-1680), 2024, v. 13, n. 11, p. 738, doi. 10.3390/axioms13110738

By:

Ciuciura, Janusz

Publication type:

Article

ON ALGORITHMIC PROPERTIES OF PROPOSITIONAL INCONSISTENCY-ADAPTIVE LOGICS.

Published in:

Logic & Logical Philosophy, 2012, v. 21, n. 3, p. 209

By:

Odintsov, Sergei P.;
Speranski, Stanislav O.

Publication type:

Article

Fraïssé's theorem for logics of formal inconsistency.

Published in:

Logic Journal of the IGPL, 2020, v. 28, n. 5, p. 1060, doi. 10.1093/jigpal/jzy073

By:

Mendonça, Bruno R;
Carnielli, Walter A

Publication type:

Article

Logics of formal inconsistency based on distributive involutive residuated lattices.

Published in:

Journal of Logic & Computation, 2021, v. 31, n. 5, p. 1226, doi. 10.1093/logcom/exab029

By:

Esteva, F;
Figallo-Orellano, A;
Flaminio, T;
Godo, L

Publication type:

Article

First-order swap structures semantics for some logics of formal inconsistency.

Published in:

Journal of Logic & Computation, 2020, v. 30, n. 6, p. 1257, doi. 10.1093/logcom/exaa027

By:

Coniglio, Marcelo E;
Figallo-Orellano, Aldo;
Golzio, Ana C

Publication type:

Article

ON THE WAY TO A WIDER MODEL THEORY: COMPLETENESS THEOREMS FOR FIRST-ORDER LOGICS OF FORMAL INCONSISTENCY.

Published in:

Review of Symbolic Logic, 2014, v. 7, n. 3, p. 548, doi. 10.1017/S1755020314000148

By:

CARNIELLI, WALTER;
CONIGLIO, MARCELO E.;
PODIACKI, RODRIGO;
RODRIGUES, TARCÍSIO

Publication type:

Article

A game theoretical semantics for a logic of formal inconsistency.

Published in:

Logic Journal of the IGPL, 2020, v. 28, n. 5, p. 936, doi. 10.1093/jigpal/jzy068

By:

Başkent, Can;
Carrasqueira, Pedro Henrique

Publication type:

Article

From logics of formal inconsistency to logics of formal classicality.

Published in:

Logic Journal of the IGPL, 2020, v. 28, n. 5, p. 684, doi. 10.1093/jigpal/jzy056

By:

Omori, Hitoshi

Publication type:

Article

An Inconsistency-Adaptive Deontic Logic for Normative Conflicts.

Published in:

Journal of Philosophical Logic, 2013, v. 42, n. 2, p. 285, doi. 10.1007/s10992-011-9221-3

By:

Beirlaen, Mathieu;
Straßer, Christian;
Meheus, Joke

Publication type:

Article

IN PRAISE OF A LOGIC OF DEFINITIONS THAT TOLERATES Ω‐INCONSISTENCY.

Published in:

Philosophical Issues, 2018, v. 28, n. 1, p. 176, doi. 10.1111/phis.12121

By:

Gupta, Anil

Publication type:

Article

TOLERATING INCONSISTENCIES: A STUDY OF LOGIC OF MORAL CONFLICTS.

Published in:

Bulletin of the Section of Logic, 2022, v. 51, n. 2, p. 177, doi. 10.18778/0138-0680.2022.06

By:

Mishra, Meha;
Sarma, A. V. Ravishankar

Publication type:

Article

Corrigendum for "Truth in a logic of formal inconsistency: How classical can it get?".

Published in:

2023

By:

Picollo, Lavinia

Publication type:

Correction Notice

A Six-valued Logic to Reason about Uncertainty and Inconsistency in Requirements Specifications.

Published in:

Journal of Logic & Computation, 2006, v. 16, n. 2, p. 227, doi. 10.1093/logcom/exi076

By:

García-Duque, Jorge;
López-Nores, Martín;
Pazos-Arias, José J.;
Fernández-Vilas, Ana;
Díaz-Redondo, Rebeca P.;
Gil-Solla, Alberto;
Blanco-Fernández, Yolanda;
Ramos-Cabrer, Manuel

Publication type:

Article

Volume II: New advances in Logics of Formal Inconsistency.

Published in:

Logic Journal of the IGPL, 2020, v. 28, n. 5, p. 845, doi. 10.1093/jigpal/jzy063

By:

Barrio, Eduardo Alejandro;
Carnielli, Walter

Publication type:

Article

Truth in a Logic of Formal Inconsistency: How classical can it get?

Published in:

Logic Journal of the IGPL, 2020, v. 28, n. 5, p. 771, doi. 10.1093/jigpal/jzy059

By:

Picollo, Lavinia

Publication type:

Article

Volume I: Recovery operators in logics of formal inconsistency.

Published in:

Logic Journal of the IGPL, 2020, v. 28, n. 5, p. 615, doi. 10.1093/jigpal/jzy053

By:

Barrio, Eduardo Alejandro;
Carnielli, Walter

Publication type:

Article

Paraconsistency properties in degree-preserving fuzzy logics.

Published in:

Soft Computing - A Fusion of Foundations, Methodologies & Applications, 2015, v. 19, n. 3, p. 531, doi. 10.1007/s00500-014-1489-0

By:

Ertola, Rodolfo;
Esteva, Francesc;
Flaminio, Tommaso;
Godo, Lluís;
Noguera, Carles

Publication type:

Article

Inconsistency-Tolerant Multi-Agent Calculus.

Published in:

International Journal of Uncertainty, Fuzziness & Knowledge-Based Systems, 2014, v. 22, n. 6, p. 815, doi. 10.1142/S0218488514500433

By:

Kamide, Norihiro

Publication type:

Article

Cut-free sequent-style systems for a logic associated to involutive Stone algebras.

Published in:

Journal of Logic & Computation, 2023, v. 33, n. 7, p. 1684, doi. 10.1093/logcom/exac061

By:

Cantú, Liliana M;
Figallo, Martín

Publication type:

Article

Logic on the n-cube.

Published in:

Journal of Logic & Computation, 2016, v. 26, n. 1, p. 409, doi. 10.1093/logcom/ext033

By:

MUNDICI, DANIELE

Publication type:

Article

Paraconsistent Probabilities: Consistency, Contradictions and Bayes' Theorem.

Published in:

Entropy, 2016, v. 18, n. 9, p. 325, doi. 10.3390/e18090325

By:

Bueno-Soler, Juliana;
Carnielli, Walter

Publication type:

Article

SOME MODEL-THEORETIC RESULTS ON THE 3-VALUED PARACONSISTENT FIRST-ORDER LOGIC QCIORE.

Published in:

Review of Symbolic Logic, 2021, v. 14, n. 1, p. 187, doi. 10.1017/S1755020319000595

By:

CONIGLIO, MARCELO E.;
GOMEZ-PEREIRA, G.T.;
FIGALLO, MARTÍN

Publication type:

Article

An Abductive Question-Answer System for the Minimal Logic of Formal Inconsistency mbC.

Published in:

Studia Logica, 2022, v. 110, n. 2, p. 479, doi. 10.1007/s11225-021-09963-0

By:

Chlebowski, Szymon;
Gajda, Andrzej;
Urbański, Mariusz

Publication type:

Article

An epistemic approach to paraconsistency: a logic of evidence and truth.

Published in:

Synthese, 2019, v. 196, n. 9, p. 3789, doi. 10.1007/s11229-017-1621-7

By:

Carnielli, Walter;
Rodrigues, Abilio

Publication type:

Article

AGM-like paraconsistent belief change.

Published in:

Logic Journal of the IGPL, 2017, v. 25, n. 4, p. 632, doi. 10.1093/jigpal/jzx010

By:

Testa, Rafael R.;
Coniglio, Marcelo E.;
Ribeiro, Márcio M.

Publication type:

Article

Logics of formal inconsistency arising from systems of fuzzy logic.

Published in:

Logic Journal of the IGPL, 2014, v. 22, n. 6, p. 880, doi. 10.1093/jigpal/jzu016

By:

Coniglio, Marcelo E.;
Esteva, Francesc;
Godo, Lluís

Publication type:

Article

An alternative approach for quasi-truth.

Published in:

Logic Journal of the IGPL, 2014, v. 22, n. 2, p. 387, doi. 10.1093/jigpal/jzt026

By:

Coniglio, Marcelo Esteban;
Silvestrini, Luiz Henrique Da Cruz

Publication type:

Article

Measuring Inconsistency in Some Logics with Modal Operators.

Published in:

Studia Logica, 2021, v. 109, n. 3, p. 581, doi. 10.1007/s11225-020-09917-y

By:

Grant, John

Publication type:

Article

Inconsistency Management from the Standpoint of Possibilistic Logic.

Published in:

International Journal of Uncertainty, Fuzziness & Knowledge-Based Systems, 2015, v. 23, p. 15, doi. 10.1142/S0218488515400024

By:

Dubois, Didier;
Prade, Henri

Publication type:

Article

The Keisler–Shelah theorem for QmbC through semantical atomization.

Published in:

Logic Journal of the IGPL, 2020, v. 28, n. 5, p. 912, doi. 10.1093/jigpal/jzy067

By:

Ferguson, Thomas Macaulay

Publication type:

Article

The generation of abductive explanations from inconsistent theories.

Published in:

Logic Journal of the IGPL, 2012, v. 20, n. 2, p. 400, doi. 10.1093/jigpal/jzq056

By:

Provijn, Dagmar

Publication type:

Article

A revision-based approach to handling inconsistency in description logics.

Published in:

Artificial Intelligence Review, 2006, v. 26, n. 1/2, p. 115, doi. 10.1007/s10462-007-9044-3

By:

Qi, Guilin;
Liu, Weiru;
Bell, David

Publication type:

Article

Variable Domain First-Order First-Degree Entailment and Some of Its Children.

Published in:

Studia Logica, 2025, v. 113, n. 2, p. 457, doi. 10.1007/s11225-024-10143-z

By:

Antunes, Henrique;
Rodrigues, Abilio

Publication type:

Article

Proof-Theoretic Aspects of Paraconsistency with Strong Consistency Operator.

Published in:

Studia Logica, 2025, v. 113, n. 2, p. 419, doi. 10.1007/s11225-023-10089-8

By:

Arce Pistone, Victoria;
Figallo, Martín

Publication type:

Article

Paraconsistency in hybrid logic.

Published in:

Journal of Logic & Computation, 2017, v. 27, n. 6, p. 1825, doi. 10.1093/logcom/exw027

By:

COSTA, DIANA;
MARTINS, MANUEL A.

Publication type:

Article

Spoiled for choice?

Published in:

Journal of Logic & Computation, 2016, v. 26, n. 1, p. 65, doi. 10.1093/logcom/ext019

By:

BATENS, DIDERIK

Publication type:

Article

Scientific novelty beyond the experiment.

Published in:

Microbial Biotechnology, 2023, v. 16, n. 6, p. 1131, doi. 10.1111/1751-7915.14222

By:

Hallsworth, John E.;
Udaondo, Zulema;
Pedrós‐Alió, Carlos;
Höfer, Juan;
Benison, Kathleen C.;
Lloyd, Karen G.;
Cordero, Radamés J. B.;
de Campos, Claudia B. L.;
Yakimov, Michail M.;
Amils, Ricardo

Publication type:

Article

Measuring evidence: a probabilistic approach to an extension of Belnap–Dunn logic.

Published in:

Synthese, 2021, v. 198, p. 5451, doi. 10.1007/s11229-020-02571-w

By:

Rodrigues, Abilio;
Bueno-Soler, Juliana;
Carnielli, Walter

Publication type:

Article

DEDUCTIVE CARDINALITY RESULTS AND NUISANCE-LIKE PRINCIPLES.

Published in:

Review of Symbolic Logic, 2021, v. 14, n. 3, p. 592, doi. 10.1017/S1755020318000230

By:

EBELS-DUGGAN, SEAN C.

Publication type:

Article

区块链拍卖退款交易智能合约 DoS 漏洞优化研究.

Published in:

Application Research of Computers / Jisuanji Yingyong Yanjiu, 2023, v. 40, n. 2, p. 343, doi. 10.19734/j.issn.1001-3695.2022.07.0349

By:

陈虹;
王颖辉;
金海波;
曹癑

Publication type:

Article

TWO-VALUED WEAK KLEENE LOGICS.

Published in:

Manuscrito, 2019, v. 42, n. 1, p. 1, doi. 10.1590/0100-6045.2019.V42N1.DB

By:

DA RÉ, BRUNO;
SZMUC, DAMIAN

Publication type:

Article

A LOGICAL APPROACH TO FORMALIZING ORGANIZATIONAL ECOLOGY.

Published in:

American Sociological Review, 1994, v. 59, n. 4, p. 571, doi. 10.2307/2095932

By:

Péli, Gábor;
Masuch, Michael;
Bruggeman, Jeroen;
Nualláin, Breanndán Ó

Publication type:

Article

The Logic of Inconsistency (Book).

Published in:

1981

By:

Mortensen, Chris

Publication type:

Book Review

Generalized Update Semantics.

Published in:

Mind (0026-4423), 2019, v. 128, n. 511, p. 795, doi. 10.1093/mind/fzy076

By:

Goldstein, Simon

Publication type:

Article

FUZZY LOGIC IN TERMS OF BIOMETRICS.

Published in:

i-Manager's Journal on Image Processing, 2020, v. 7, n. 4, p. 17, doi. 10.26634/jip.7.4.17775

By:

SINGH, KISHOR KUMAR;
BARDE, SNEHLATA

Publication type:

Article