LK, LJ, dual intuitionistic logic, and quantum logic (Q558432): Difference between revisions

From MaRDI portal
Importer (talk | contribs)
Created a new Item
 
ReferenceBot (talk | contribs)
Changed an Item
 
(5 intermediate revisions by 5 users not shown)
Property / Mathematics Subject Classification ID
 
Property / Mathematics Subject Classification ID: 03B60 / rank
 
Normal rank
Property / Mathematics Subject Classification ID
 
Property / Mathematics Subject Classification ID: 03B53 / rank
 
Normal rank
Property / Mathematics Subject Classification ID
 
Property / Mathematics Subject Classification ID: 03G12 / rank
 
Normal rank
Property / zbMATH DE Number
 
Property / zbMATH DE Number: 2186745 / rank
 
Normal rank
Property / zbMATH Keywords
 
sequent calculus
Property / zbMATH Keywords: sequent calculus / rank
 
Normal rank
Property / zbMATH Keywords
 
classical logic
Property / zbMATH Keywords: classical logic / rank
 
Normal rank
Property / zbMATH Keywords
 
intuitionistic logic
Property / zbMATH Keywords: intuitionistic logic / rank
 
Normal rank
Property / zbMATH Keywords
 
quantum logic
Property / zbMATH Keywords: quantum logic / rank
 
Normal rank
Property / zbMATH Keywords
 
dual intuitionistic logic
Property / zbMATH Keywords: dual intuitionistic logic / rank
 
Normal rank
Property / zbMATH Keywords
 
paraconsistent logic
Property / zbMATH Keywords: paraconsistent logic / 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.1305/ndjfl/1099238445 / rank
 
Normal rank
Property / OpenAlex ID
 
Property / OpenAlex ID: W2057714618 / rank
 
Normal rank
Property / Wikidata QID
 
Property / Wikidata QID: Q55891978 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3666849 / rank
 
Normal rank
Property / cites work
 
Property / cites work: A remark on Gentzen's calculus of sequents / rank
 
Normal rank
Property / cites work
 
Property / cites work: Semantic analysis of orthologic / rank
 
Normal rank
Property / cites work
 
Property / cites work: The Logic of Contradiction / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q2721200 / rank
 
Normal rank
Property / cites work
 
Property / cites work: On closed elements in closure algebras / rank
 
Normal rank
Property / cites work
 
Property / cites work: Sequential method in quantum logic / rank
 
Normal rank
Property / cites work
 
Property / cites work: Substructural logics: a primer / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3884093 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4805593 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Basic logic: reflection, symmetry, visibility / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4296741 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3322102 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Proof theory. 2nd ed / rank
 
Normal rank
Property / cites work
 
Property / cites work: Dual-intuitionistic logic / rank
 
Normal rank
links / mardi / namelinks / mardi / name
 

Latest revision as of 13:22, 10 June 2024

scientific article
Language Label Description Also known as
English
LK, LJ, dual intuitionistic logic, and quantum logic
scientific article

    Statements

    LK, LJ, dual intuitionistic logic, and quantum logic (English)
    0 references
    0 references
    6 July 2005
    0 references
    0 references
    0 references
    0 references
    0 references
    sequent calculus
    0 references
    classical logic
    0 references
    intuitionistic logic
    0 references
    quantum logic
    0 references
    dual intuitionistic logic
    0 references
    paraconsistent logic
    0 references
    0 references
    0 references