پیشنیازها Classical Propositional Logic ردهها Substructural Logics History and evolution 1880 1890 1900 1910 1920 1930 1940 1950 1960 1970 1980 1990 2000 2010 Ivan Efimovich OrlovIvan Efimovich OrlovIvan Efimovich OrlovIvan Efimovich OrlovIvan Efimovich OrlovIvan Efimovich Orlov Orlov's 1928 paper Wilhelm AckermannWilhelm AckermannWilhelm AckermannWilhelm AckermannWilhelm AckermannWilhelm Ackermann Begründung Einer Strengen implikation Alan Ross AndersonAlan Ross AndersonAlan Ross AndersonAlan Ross AndersonAlan Ross AndersonAlan Ross Anderson Nuel BelnapNuel BelnapNuel BelnapNuel BelnapNuel BelnapNuel Belnap Entailment: The Logic of Relevance and Necessity (Volume 1) Entailment: The Logic of Relevance and Necessity (Volume 2) گویاییهای پیوند همچنین شناخته شده با: شبکه کراندار برابر انگلیک (انگلیسی): bounded lattice دیسهای ⟨𝐿, ∧, ∨, 0, 1⟩⟨𝐿, ∧, ∨, 0, 1⟩ 1.x ≼ x x ≼ x x ≼ xبازتابیaxiom▲ partially ordered set 2.(𝑥 ≼ 𝑦 𝑎𝑛𝑑 𝑦 ≼ 𝑥) ⇒ 𝑥=𝑦 (x ≼ y and y ≼ x) ⇒ x=y (x ≼ y and y ≼ x) ⇒ x=yپادهمامونaxiom▲ partially ordered set 3.(𝑥 ≼ 𝑦 𝑎𝑛𝑑 𝑦 ≼ 𝑧 ) ⇒ 𝑥 ≼ 𝑧 (x ≼ y and y ≼ z ) ⇒ x ≼ z (x ≼ y and y ≼ z ) ⇒ x ≼ zگذراaxiom▲ partially ordered set گسترشها جبر هیتینگ