Search

Search Results

Found 290 items.

Constructive Logic is Connexive and Contradictory

Heinrich Wansing

1-27

2024-01-02
Analysis of Penrose’s Second Argument Formalised in DTK System

Antonella Corradini, Sergio Galvan

471-500

2021-12-16
A Unified Logical Framework for Reasoning about Deontic Properties of Actions and States

Piotr Kulicki, Robert Trypuz, Robert Craven, Marek J. Sergot

583-617

2023-06-02
Simplified Semantics for Further Relevant Logics I Unreduced Semantics for E and Π′

Tore Fjetland Øgaard

109-151

2024-08-27
Preferences as inconsistency-resolvers: The Inconsistency-adaptive Logic PRL

Guido Vanackere

47-63

2004-01-18
Is Transparent Intensional Logic a non-classical logic?

Pavel Materna

47-55

2013-09-27
Is p and ¬p a Contradiction?

Jean-Yves Beziau

1-14

2025-03-11
From the Guest Editors

Alexei Y. Muravitsky, Sergei P. Odintsov

5-7

2008-06-19
An Introduction to the Special Issue: Logics and Their Interpretations II

Henrique Antunes, Damian Szmuc

531-534

2022-12-07
A Logic for a Critical Attitude?

Federico Boem, Stefano Bonzio

261-288

2022-02-19
Compatibility and relevance: Bolzano and Orlov

Werner Stelzner

137–171

2004-01-19
A festival of facts

Krister Segerberg

7-22

2003-01-01
Robert Trueman’s Defence of Higher-Order Logic

Marcin Tkaczyk

163-168

2023-05-23
Logics for Knowability

Mo Liu, Jie Fan, Hans van Ditmarsch, Louwe B. Kuijer

385-426

2021-12-08
On the logics related to A. Arruda’s system V1

V. M. Popov

87-90

2004-01-07
What is the Principle of (Non-)Contradiction, Precisely? The Struggle at the Dawn of Formal Logic

Adam Trybus

1--22

2024-10-26
Realisms. Temporal and spatial

Zdzisław Augustynek

3-22

2003-01-07
Once more on analytic vs. synthetic

Pavel Materna

3-43

2007-07-25
Belnap-Dunn Semantics for the Variants of BN4 and E4 which Contain Routley and Meyer’s Logic B

Sandra M. López

29-56

2021-03-12
On the acceptance of problem solutions derived from inconsistent constraints

Joke Meheus

33-46

2004-01-18
The logical way of being true: Truth values and the ontological foundation of logic

Yaroslav Shramko

119-131

2013-09-18

169 - 189 of 290 items << < 1 2 3 4 5 6 7 8 9 10 11 12 13 14 > >>