( en | de | ru )

 

Disambiguation of "Gabbay, Michael"

Author of the publication

copydeleteadd this publication to your clipboard
The attack as intuitionistic negation.

, and . Logic Journal of the IGPL, 24 (5): 807-837 (2016)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Uri Gabbay

Michael Bode

Le groupe international de sociétés: le système de conflit de lois en droit comparé français et allemand. HU Berlin, (2009)

Michael Liecke

Subnationale Clusterpolitik: die Biotechnologiepolitik deutscher Länder im Vergleich. Uni München, (2009)

Michael Schoierer

NS-Diktatur, Anomie und Demokratisierung Westdeutschlands. Uni Augsburg, (2007)

Michael Krug

X-ray crystallographic analysis of the archaeal transcriptional regulator TrmB and development of a graphical user interface for the monochromatic diffraction data processing software XDS. Uni Konstanz, (2009)
 

Other publications of authors with the same name

Argumentation as Information Input: A Position Paper., and . COMMA, volume 287 of Frontiers in Artificial Intelligence and Applications, page 311-318. IOS Press, (2016)Representation and duality of the untyped λ-calculus in nominal lattice and topological semantics, with a proof of topological completeness., and . Ann. Pure Appl. Log., 168 (3): 501-621 (2017)Transitions between peace and systemic war as bifurcations in a signed network dynamical system, , and . Network Science, 11 (3): 458-501 (2023)A proof-theoretic treatment of λ-reduction with cut-elimination: λ-calculus as a logic programming language.. J. Symb. Log., 76 (2): 673-699 (2011)The attack as intuitionistic negation., and . Logic Journal of the IGPL, 24 (5): 807-837 (2016)Substitution for Fraenkel-Mostowski foundations., and . AISB Convention, volume 12 of Computing & Philosophy, page 65-72. AISB, (2008)Transitions between peace and systemic war as bifurcations in a signed network dynamical system., , and . CoRR, (2022)A simple and complete model theory for intensional and extensional untyped λ-equality.. HOWARD-60, volume 42 of EPiC Series in Computing, EasyChair, (2014)Formalism and Set Theoretic Truth.. FLAP, 5 (6): 1365-1380 (2018)A simple and complete model theory for intensional and extensional untyped lambda-equality., and . FLAP, 1 (2): 83-106 (2014)