A sound framework for \(\delta\)-rule variants in free-variable semantic tableaux (Q877883): Difference between revisions
From MaRDI portal
Changed an Item |
ReferenceBot (talk | contribs) Changed an Item |
||
| (4 intermediate revisions by 3 users not shown) | |||
| Property / describes a project that uses | |||
| Property / describes a project that uses: TABLEAUX / rank | |||
Normal rank | |||
| Property / describes a project that uses | |||
| Property / describes a project that uses: GQML / rank | |||
Normal rank | |||
| Property / MaRDI profile type | |||
| Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
| Property / full work available at URL | |||
| Property / full work available at URL: https://doi.org/10.1007/s10817-006-9045-y / rank | |||
Normal rank | |||
| Property / OpenAlex ID | |||
| Property / OpenAlex ID: W1985365096 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q4524769 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q4282596 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q4503905 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: A sound framework for \(\delta\)-rule variants in free-variable semantic tableaux / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: A Free Variable Version of the First-Order Predicate Calculus / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q4385532 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q4863622 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q4263014 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q2751354 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: The liberalized \(\delta\)-rule in free variable semantic tableaux / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q2753598 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q2751380 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q5560258 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q4412865 / rank | |||
Normal rank | |||
Latest revision as of 18:28, 25 June 2024
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A sound framework for \(\delta\)-rule variants in free-variable semantic tableaux |
scientific article |
Statements
A sound framework for \(\delta\)-rule variants in free-variable semantic tableaux (English)
0 references
4 May 2007
0 references
Skolemization
0 references
delta-rule
0 references
