Ändra sökning
RefereraExporteraLänk till posten
Permanent länk

Direktlänk
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annat format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annat språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf
Hybrid Deduction–Refutation Systems
Stockholms universitet, Humanistiska fakulteten, Filosofiska institutionen. University of Johannesburg, South Africa.ORCID-id: 0000-0002-0157-1644
2019 (Engelska)Ingår i: Axioms, E-ISSN 2075-1680, Vol. 8, nr 4, artikel-id 118Artikel i tidskrift (Refereegranskat) Published
Abstract [en]

Hybrid deduction–refutation systems are deductive systems intended to derive both valid and non-valid, i.e., semantically refutable, formulae of a given logical system, by employing together separate derivability operators for each of these and combining ‘hybrid derivation rules’ that involve both deduction and refutation. The goal of this paper is to develop a basic theory and ‘meta-proof’ theory of hybrid deduction–refutation systems. I then illustrate the concept on a hybrid derivation system of natural deduction for classical propositional logic, for which I show soundness and completeness for both deductions and refutations.

Ort, förlag, år, upplaga, sidor
2019. Vol. 8, nr 4, artikel-id 118
Nyckelord [en]
deductive refutability, refutation systems, hybrid deduction–refutation rules, derivative hybrid rules, soundness, completeness, natural deduction, meta-proof theory
Nationell ämneskategori
Matematik Filosofi
Forskningsämne
matematisk logik; filosofi
Identifikatorer
URN: urn:nbn:se:su:diva-177315DOI: 10.3390/axioms8040118ISI: 000505589700018OAI: oai:DiVA.org:su-177315DiVA, id: diva2:1381489
Forskningsfinansiär
Vetenskapsrådet, 2015-04388Tillgänglig från: 2019-12-21 Skapad: 2019-12-21 Senast uppdaterad: 2020-02-05Bibliografiskt granskad

Open Access i DiVA

Fulltext saknas i DiVA

Övriga länkar

Förlagets fulltext

Sök vidare i DiVA

Av författaren/redaktören
Goranko, Valentin
Av organisationen
Filosofiska institutionen
MatematikFilosofi

Sök vidare utanför DiVA

GoogleGoogle Scholar

doi
urn-nbn

Altmetricpoäng

doi
urn-nbn
Totalt: 9 träffar
RefereraExporteraLänk till posten
Permanent länk

Direktlänk
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annat format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annat språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf