# Search results

Filosofický časopis (Philosophical Journal) > 2022 > 70 > 2 > 381-401

Organon F. medzinárodný časopis pre analytickú filozofiu > 2022 > 29 > 4 > 427–433

SN Applied Sciences > 2019 > 1 > 10 > 1-9

Annales Universitatis Paedagogicae Cracoviensis. Studia de Cultura > 2019 > 11(1) "Postprawda. Nowe narracje i praktyki społeczne w epoce sfingowanych informacji i gatunków hybrydycznych" > 5-14

Computers and Electronics in Agriculture > 2018 > 150 > C > 455-464

Logica Universalis > 2017 > 11 > 4 > 489-505

*exclusion*(of variable arity), generalizing the known presentation via the binary ‘nand. The completeness is established via deductive equivalence to Gentzens NK/LK systems.

Wireless Personal Communications > 2017 > 97 > 2 > 2167-2190

Logica Universalis > 2017 > 11 > 3 > 297-315

Journal of Philosophical Logic > 2017 > 46 > 4 > 457-465

*The Philosophical Quarterly*,

*53*, 481–501 2003) argues that whoever accepts classical logic, standard mereology and the difference between vague objects and any others, should conclude that there are no vague objects. Barnes and Williams (

*Pacific Philosophical Quarterly*,

*90*, 176–187 2009) claim that a supporter of vague objects who accepts classical logic and standard mereology should recognize...

Metaphilosophy > 47 > 3 > 449 - 466

*dogmatist*view of perceptual justification—a tension often portrayed as a kind of ‘Bayesian objection’ to dogmatism. In a recent paper, David...

Lecture Notes in Computer Science > Typed Lambda Calculi and Applications > Contributed Papers > 415-429

Lecture Notes in Computer Science > Computer Aided Systems Theory – EUROCAST 2007 > Systems Theory and Simulation: Formal Approaches > 26-33

**CND**(Parigot 92) can be simulated by the cut-elimination procedure for

**LKQ**(Danos-Joinet-Schellinx 93), namely the q-protocol. We use a proof-term assignment system to prove this fact. The term calculus for

**CND**we use follows Parigot’s λμ-Calculus and is closely related...

Lecture Notes in Computer Science > Typed Lambda Calculi and Applications > Contributed Papers > 27-44

*λμ*-calculus. Finally, by using the dualities principles of ...