Computations in fragments of intuitionistic propositional logic (Q1181713): Difference between revisions
From MaRDI portal
Added link to MaRDI item. |
ReferenceBot (talk | contribs) Changed an Item |
||
(3 intermediate revisions by 2 users not shown) | |||
Property / author | |||
Property / author: Dick H. J. de Jongh / rank | |||
Property / author | |||
Property / author: Dick H. J. de Jongh / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4178997 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4077987 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5631083 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3936721 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5519895 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5509675 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On formulas of one variable in intuitionistic propositional calculus / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5734410 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3924162 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Interpolation in fragments of intuitionistic propositional logic / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Metamathematical investigation of intuitionistic arithmetic and analysis. With contributions by C. A. Smorynski, J. I. Zucker and W. A. Howard / rank | |||
Normal rank |
Latest revision as of 14:29, 15 May 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Computations in fragments of intuitionistic propositional logic |
scientific article |
Statements
Computations in fragments of intuitionistic propositional logic (English)
0 references
27 June 1992
0 references
finite diagrams
0 references
intuitionistic propositional logic
0 references
automated reasoning
0 references
fragment
0 references
exact model
0 references