FDE as a Base for Constructive Logic (Q3305615): Difference between revisions

From MaRDI portal
Importer (talk | contribs)
Created a new Item
 
ReferenceBot (talk | contribs)
Changed an Item
 
(3 intermediate revisions by 3 users not shown)
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/978-3-030-31136-0_12 / rank
 
Normal rank
Property / OpenAlex ID
 
Property / OpenAlex ID: W2997080499 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Contradictory information: too much of a good thing / rank
 
Normal rank
Property / cites work
 
Property / cites work: Belnap's Four-Valued Logic and De Morgan Lattices / rank
 
Normal rank
Property / cites work
 
Property / cites work: Prospect Theory: An Analysis of Decision under Risk / rank
 
Normal rank
Property / cites work
 
Property / cites work: Logics and falsifications. A new perspective on constructivist semantics / rank
 
Normal rank
Property / cites work
 
Property / cites work: Nothing but the truth / rank
 
Normal rank
Property / cites work
 
Property / cites work: The Trilattice of Constructive Truth Values / rank
 
Normal rank
links / mardi / namelinks / mardi / name
 

Latest revision as of 06:55, 23 July 2024

scientific article
Language Label Description Also known as
English
FDE as a Base for Constructive Logic
scientific article

    Statements

    FDE as a Base for Constructive Logic (English)
    0 references
    0 references
    10 August 2020
    0 references
    FDE
    0 references
    first-degree entailment
    0 references
    constructive logic
    0 references
    intuitionistic logic
    0 references
    Michael Dummett
    0 references
    truth-value gluts
    0 references
    tri-lattice SIXTEEN
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references