Search

Search Results

Found 41 items.

A deductive-reductive form of logic: General theory and intuitionistic case

Piotr Łukowski

59–78

2004-01-19
On the proof-theory of a first-order extension of GL

Yehuda Schwartz, George Tourlakis

329–363

2013-09-18
Derivability of rules from rule complexes

Anna Gomolińska

21–44

2004-01-19
Changing one’s position in a discussion — some adaptive approaches

Liza Verhoeven

277-297

2003-11-23
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
Comparing Calculi for First-Order Infinite-Valued Łukasiewicz Logic and First-Order Rational Pavelka Logic

Alexander S. Gerasimov

269-318

2022-11-16
Varieties of Relevant S5

Shawn Standefer

53-80

2022-03-08
Topologies and free constructions

Anna Bucalo, Giuseppe Rosolini

327–346

2013-06-11
Intensional Semantics for Syllogistics: what Leibniz and Vasiliev Have in Common

Antonina Konkova, Maria Legeydo

339-356

2022-02-06
Existence, the square of opposites, and two-dimensional logic

Ingolf Max

135-149

2003-01-07
A Compositional Semantics for ‘Even If’ Conditionals

Mathieu Vidal

237-276

2016-11-30
Dynamic Probabilistic Entailment. Improving on Adams' Dynamic Entailment Relation

Robert van Rooij, Patricia Mirabile

359-384

2021-12-23
Continua without sets

F. G. Asenjo

95-128

2003-01-01
Informal Provability, First-Order BAT Logic and First Steps Towards a Formal Theory of Informal Provability

Pawel Pawlowski, Rafal Urbaniak

501-527

2021-11-29
Geometry as an extension of the group theory

A. Prusińska, L. Szczerba

131–135

2004-01-19
In what sense is Kantian principle of contradiction non-classical?

Srećko Kovač

251-274

2008-09-30
Connecting bilattice theory with multivalued logic

Daniele Genito, Giangiacomo Gerla

15-45

2013-10-09
Biconsequences

Szymon Frankowski

353-364

2010-12-30
The philosophical logic of Stéphane Lupasco (1900–1988)

Joseph E. Brenner

243-285

2010-09-30
KD45 with Propositional Quantifiers

P. Maurice Dekker

27-54

2023-08-24

22 - 41 of 41 items << < 1 2