PL EN


2017 | 45 | 4 | 197-208
Article title

Formuły logiczne i ich obciążenie egzystencjalne

Title variants
EN
LOGICAL FORMULAS AND THEIR EXISTENTIAL BURDEN
Languages of publication
PL
Abstracts
EN
In his dissertation dedicated to the analysis of existential import of logical formulas (1990) Karl-Heinz Krampitz presented a list of rules that allow to deduce the existential assumptions of complex formulas: R1 All elementary predicate formulas have existential import (are existential belasted) R2 If a has existential import, then ~ a does not have existential import R3 If a does not have existential import, then ~ a has existential import R4 a v b has existential import if and only if a and b have existential import We shall formulate the theory of existential import as base construction (EB) assumptionally. It can be subsequently strengthened while analysing specyfic logical system by adopting in the form of an axiom (or axioms) the elementary formula (or formulas) characteristic for given logical system which has (which have) existential import
Year
Volume
45
Issue
4
Pages
197-208
Physical description
Contributors
  • Uniwersytet Rolniczy, Wydział Leśny, ul. 29 Listopada 46, 31-425 Kraków, Poland
References
Document Type
Publication order reference
Identifiers
YADDA identifier
bwmeta1.element.cejsh-a1efba52-554e-46c9-a1e0-258fb8551b4f
JavaScript is turned off in your web browser. Turn it on to take full advantage of this site, then refresh the page.