Search

Search Results

Found 99 items.

The axiomatization of Horst Wessel’s strict logical consequence relation

Andrzej Pietruszczak

121-138

2004-12-21
Logic and ontology in the thought of Bolzano

Adam Drozdek

3-18

1997-10-27
A Classical Logic of Existence and Essence

Sergio Galvan, Alessandro Giordani

541-570

2020-06-12
Bourne on future contingents and three-valued logic

Daisuke Kachi

33-43

2009-08-15
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 the da Costa, Dubikajtis and Kotas’ system of the discursive logic, D*2

Janusz Ciuciura

235-252

2005-12-23
A modal logic of information

Krystyna Misiuna

33–51

2012-03-15
Refutation systems for a system of nonsense-logic

Robert Sochacki

233-239

2011-11-30
Managing Multiple Information Sources for a Questioning Agenda

Paweł Łupkowski, Mariusz Urbański

39-71

2024-05-23
Sequents for non-wellfounded mereology

Paolo Maffezioli

351-369

2016-04-12
The RM paraconsistent refutation system

Tomasz Skura

65-70

2009-08-15
Axiomatization of BLRI Determined by Limited Positive Relational Properties

Tomasz Jarmużek, Mateusz Klonowski

1-29

2022-01-30
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
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
The philosophical logic of Stéphane Lupasco (1900–1988)

Joseph E. Brenner

243-285

2010-09-30
An Epimorphism between Fine and Ferguson’s Matrices for Angell’s AC

Richard Zach

161-179

2022-07-27
Game Semantics, Quantifiers and Logical Omniscience

Bruno Ramos Mendonça

557-578

2022-06-13
Continuous lattices and Whiteheadian theory of space

Thomas Mormann

35-54

1998-11-06
Meet-Combination of Consequence Systems

Paula Gouveia, João Rasga, Cristina Sernadas

73-108

2024-05-29
On minimal models for pure calculi of names

Piotr Kulicki

429-443

2013-08-29
First-order belief and paraconsistency

Srećko Kovač

127-143

2009-11-30

43 - 63 of 99 items << < 1 2 3 4 5 > >>