Search

Search Results

Found 149 items.

On Barrio, Lo Guercio, and Szmuc on Logics of Evidence and Truth

Abilio Rodrigues, Walter Carnielli

313-338

2022-02-12
Some adaptive logics for diagnosis

Diderik Batens, Joke Meheus, Dagmar Provijn, Liza Verhoeven

39-65

2003-11-23
Relational Semantics for the Paraconsistent and Paracomplete 4-valued Logic PŁ4

Gemma Robles, Sandra M. López, José M. Blanco

665-687

2022-04-23
Local Applications of Logics via Model-Theoretic Interpretations

Carlos Benito-Monsalvo

535-556

2022-07-09
EF4, EF4-M and EF4-Ł: A companion to BN4 and two modal four-valued systems without strong Łukasiewicz-type modal paradoxes

José Miguel Blanco

75-104

2021-08-14
On algorithmic properties of propositional inconsistency-adaptive logics

Sergei P. Odintsov, Stanislav O. Speranski

209–228

2012-08-30
Relating Semantics for Hyper-Connexive and Totally Connexive Logics

Jacek Malinowski, Ricardo Arturo Nicolás-Francisco

509-522

2023-06-21
Admissibility of Ackermann’s rule δ in relevant logics

Gemma Robles

411-427

2013-08-29
Symmetric and dual paraconsistent logics

Norihiro Kamide, Heinrich Wansing

7-30

2010-06-30
Bi-Classical Connexive Logic and its Modal Extension: Cut-elimination, completeness and duality

Norihiro Kamide

481-511

2019-01-27
Immune Logics ain't that Immune

Jeremiah Joven Joaquin

253-259

2022-10-25
Andreas Kapsner, “Logics and Falsifications: A New Perspective on Constructivist Semantics”, Series Trends in Logic, vol. 40, Springer

Henrique Antunes

401–405

2015-07-15
Nested Sequent Calculi for Some Modal Logics with Non-Standard Modalities

Yaroslav Petrukhin

287-318

2025-04-28
Twist-Valued Models for Three-Valued Paraconsistent Set Theory

Walter A. Carnielli, Marcelo E. Coniglio

187-226

2021-05-04
Interpolation and implicit definability in extensions of the provability logic

Larisa Maksimova

129-142

2008-06-19
Many-Valued Logics and Bivalent Modalities

Edson Bezerra, Giorgio Venturi

611-636

2022-04-11
On classical behavior of intuitionistic modalities

Sergey Drobyshevich

79–104

2014-08-16
Strong Kleene Logics as a Tool for Modelling Formal Epistemic Norms

Agustina Borzi, Federico Pailos, Joaquín T. Toranzo Calderón

615-648

2024-11-07
A Four-Valued Logical Framework for Reasoning About Fiction

Newton Peron, Henrique Antunes

579-610

2022-05-25
Simplified Semantics for Further Relevant Logics II Propositional Constants

Tore Fjetland Øgaard

161-191

2024-08-27
Comparing Calculi for First-Order Infinite-Valued Łukasiewicz Logic and First-Order Rational Pavelka Logic

Alexander S. Gerasimov

269-318

2022-11-16

64 - 84 of 149 items << < 1 2 3 4 5 6 7 8 > >>