Models for the logic of possible proofs

Lade...
Vorschaubild
Dateien
Horsten_2-sx26oa72irhv4.pdf
Horsten_2-sx26oa72irhv4.pdfGröße: 121.22 KBDownloads: 69
Datum
2000
Autor:innen
Herausgeber:innen
Kontakt
ISSN der Zeitschrift
Electronic ISSN
ISBN
Bibliografische Daten
Verlag
Schriftenreihe
Auflagebezeichnung
ArXiv-ID
Internationale Patentnummer
Angaben zur Forschungsförderung
Projekt
Open Access-Veröffentlichung
Open Access Green
Sammlungen
Core Facility der Universität Konstanz
Gesperrt bis
Titel in einer weiteren Sprache
Forschungsvorhaben
Organisationseinheiten
Zeitschriftenheft
Publikationstyp
Zeitschriftenartikel
Publikationsstatus
Published
Erschienen in
Pacific Philosophical Quarterly. Wiley. 2000, 81(1), pp. 49-66. ISSN 0279-0750. eISSN 1468-0114. Available under: doi: 10.1111/1468-0114.00094
Zusammenfassung

The present paper investigates the logical structure of possible proofs. We present and philosophically motivate a class of possible proof models that describes in some detail the modal-epistemic propositional logical structure of possible proofs. This class of models is then recursively axiomatized.

Zusammenfassung in einer weiteren Sprache
Fachgebiet (DDC)
100 Philosophie
Schlagwörter
Konferenz
Rezension
undefined / . - undefined, undefined
Zitieren
ISO 690HORSTEN, Leon, 2000. Models for the logic of possible proofs. In: Pacific Philosophical Quarterly. Wiley. 2000, 81(1), pp. 49-66. ISSN 0279-0750. eISSN 1468-0114. Available under: doi: 10.1111/1468-0114.00094
BibTex
@article{Horsten2000Model-56944,
  year={2000},
  doi={10.1111/1468-0114.00094},
  title={Models for the logic of possible proofs},
  number={1},
  volume={81},
  issn={0279-0750},
  journal={Pacific Philosophical Quarterly},
  pages={49--66},
  author={Horsten, Leon}
}
RDF
<rdf:RDF
    xmlns:dcterms="http://purl.org/dc/terms/"
    xmlns:dc="http://purl.org/dc/elements/1.1/"
    xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
    xmlns:bibo="http://purl.org/ontology/bibo/"
    xmlns:dspace="http://digital-repositories.org/ontologies/dspace/0.1.0#"
    xmlns:foaf="http://xmlns.com/foaf/0.1/"
    xmlns:void="http://rdfs.org/ns/void#"
    xmlns:xsd="http://www.w3.org/2001/XMLSchema#" > 
  <rdf:Description rdf:about="https://kops.uni-konstanz.de/server/rdf/resource/123456789/56944">
    <dc:creator>Horsten, Leon</dc:creator>
    <foaf:homepage rdf:resource="http://localhost:8080/"/>
    <dc:date rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2022-03-22T12:47:17Z</dc:date>
    <dspace:hasBitstream rdf:resource="https://kops.uni-konstanz.de/bitstream/123456789/56944/3/Horsten_2-sx26oa72irhv4.pdf"/>
    <dcterms:available rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2022-03-22T12:47:17Z</dcterms:available>
    <dcterms:issued>2000</dcterms:issued>
    <dcterms:rights rdf:resource="https://rightsstatements.org/page/InC/1.0/"/>
    <dcterms:hasPart rdf:resource="https://kops.uni-konstanz.de/bitstream/123456789/56944/3/Horsten_2-sx26oa72irhv4.pdf"/>
    <dcterms:title>Models for the logic of possible proofs</dcterms:title>
    <dc:contributor>Horsten, Leon</dc:contributor>
    <dcterms:isPartOf rdf:resource="https://kops.uni-konstanz.de/server/rdf/resource/123456789/40"/>
    <dc:rights>terms-of-use</dc:rights>
    <bibo:uri rdf:resource="https://kops.uni-konstanz.de/handle/123456789/56944"/>
    <dcterms:abstract xml:lang="eng">The present paper investigates the logical structure of possible proofs. We present and philosophically motivate a class of possible proof models that describes in some detail the modal-epistemic propositional logical structure of possible proofs. This class of models is then recursively axiomatized.</dcterms:abstract>
    <dspace:isPartOfCollection rdf:resource="https://kops.uni-konstanz.de/server/rdf/resource/123456789/40"/>
    <dc:language>eng</dc:language>
    <void:sparqlEndpoint rdf:resource="http://localhost/fuseki/dspace/sparql"/>
  </rdf:Description>
</rdf:RDF>
Interner Vermerk
xmlui.Submission.submit.DescribeStep.inputForms.label.kops_note_fromSubmitter
Kontakt
URL der Originalveröffentl.
Prüfdatum der URL
Prüfungsdatum der Dissertation
Finanzierungsart
Kommentar zur Publikation
Allianzlizenz
Corresponding Authors der Uni Konstanz vorhanden
Internationale Co-Autor:innen
Universitätsbibliographie
Nein
Begutachtet
Ja
Diese Publikation teilen