Search

Search Results

Found 11 items.

Sweet SIXTEEN: Automation via Embedding into Classical Higher-Order Logic

Alexander Steen, Christoph Benzmüller

535-554

2016-07-26
Natural Deduction for Four-Valued both Regular and Monotonic Logics

Yaroslav Petrukhin

53-66

2017-01-31
Set-theoretic mereology

Joel David Hamkins, Makoto Kikuchi

285-308

2016-05-16
From Inconsistency to Incompatibility

Marcelo E. Coniglio, Guilherme V. Toledo

181-216

2022-09-27
On What There Is Not Extensible markup language and rules for making inferences

Timothy Tambassi

1-15

2025-03-26
A Non-Standard Kripke Semantics for the Minimal Deontic Logic

Edson Bezerra, Giorgio Venturi

97-107

2020-10-08
A norm-giver meets deontic action logic

Robert Trypuz, Piotr Kulicki

59–72

2011-06-30
On minimal models for pure calculi of names

Piotr Kulicki

429-443

2013-08-29
A Logic for a Critical Attitude?

Federico Boem, Stefano Bonzio

261-288

2022-02-19
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
Representing concepts in formal ontologies. Compositionality vs. typicality effects

Marcello Frixione, Antonio Lieto

391–414

2012-12-20

1 - 11 of 11 items