Szukaj

Wyniki wyszukiwania

Znaleziono 11 elementów.

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

Alexander Steen, Christoph Benzmüller

535-554

26.07.2016
Natural Deduction for Four-Valued both Regular and Monotonic Logics

Yaroslav Petrukhin

53-66

31.01.2017
Set-theoretic mereology

Joel David Hamkins, Makoto Kikuchi

285-308

16.05.2016
From Inconsistency to Incompatibility

Marcelo E. Coniglio, Guilherme V. Toledo

181-216

27.09.2022
On What There Is Not Extensible markup language and rules for making inferences

Timothy Tambassi

113-127

26.03.2025
A Non-Standard Kripke Semantics for the Minimal Deontic Logic

Edson Bezerra, Giorgio Venturi

97-107

08.10.2020
A norm-giver meets deontic action logic

Robert Trypuz, Piotr Kulicki

59–72

30.06.2011
On minimal models for pure calculi of names

Piotr Kulicki

429-443

29.08.2013
A Logic for a Critical Attitude?

Federico Boem, Stefano Bonzio

261-288

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

Sandra M. López

29-56

12.03.2021
Representing concepts in formal ontologies. Compositionality vs. typicality effects

Marcello Frixione, Antonio Lieto

391–414

20.12.2012

1 - 11 z 11 elementów