A uniform procedure for converting matrix proofs into sequent-style systems (Q1854382): Difference between revisions

From MaRDI portal
Added link to MaRDI item.
Import241208061232 (talk | contribs)
Normalize DOI.
 
(8 intermediate revisions by 4 users not shown)
Property / DOI
 
Property / DOI: 10.1006/inco.2000.2913 / rank
Normal rank
 
Property / describes a project that uses
 
Property / describes a project that uses: Nuprl / rank
 
Normal rank
Property / describes a project that uses
 
Property / describes a project that uses: SETHEO / rank
 
Normal rank
Property / describes a project that uses
 
Property / describes a project that uses: Mathematica / rank
 
Normal rank
Property / describes a project that uses
 
Property / describes a project that uses: KoMeT / rank
 
Normal rank
Property / MaRDI profile type
 
Property / MaRDI profile type: MaRDI publication profile / rank
 
Normal rank
Property / OpenAlex ID
 
Property / OpenAlex ID: W2151355005 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3880316 / rank
 
Normal rank
Property / cites work
 
Property / cites work: More on the problem of finding a mapping between clause representation and natural-deduction representation / rank
 
Normal rank
Property / cites work
 
Property / cites work: Mathematical thought. An introduction to the philosophy of mathematics / rank
 
Normal rank
Property / cites work
 
Property / cites work: KoMeT / rank
 
Normal rank
Property / cites work
 
Property / cites work: On Matrices with Connections / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4692618 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5582318 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Proof methods for modal and intuitionistic logics / rank
 
Normal rank
Property / cites work
 
Property / cites work: Untersuchungen über das logische Schliessen. I / rank
 
Normal rank
Property / cites work
 
Property / cites work: Connection-based proof construction in linear logic / rank
 
Normal rank
Property / cites work
 
Property / cites work: SETHEO: A high-performance theorem prover / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3490999 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3791114 / rank
 
Normal rank
Property / cites work
 
Property / cites work: A Machine-Oriented Logic Based on the Resolution Principle / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3838818 / rank
 
Normal rank
Property / cites work
 
Property / cites work: A resolution theorem prover for intuitionistic logic / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3999539 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Automated reasoning contributes to mathematics and logic / rank
 
Normal rank
Property / DOI
 
Property / DOI: 10.1006/INCO.2000.2913 / rank
 
Normal rank

Latest revision as of 10:29, 16 December 2024

scientific article
Language Label Description Also known as
English
A uniform procedure for converting matrix proofs into sequent-style systems
scientific article

    Statements

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references