scientific article; zbMATH DE number 1028820
From MaRDI portal
Publication:4342083
zbMath0875.03019MaRDI QIDQ4342083
Publication date: 8 July 1997
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Philosophical and critical aspects of logic and foundations (03A05) Metamathematics of constructive systems (03F50) Subsystems of classical logic (including intuitionistic logic) (03B20) Intuitionistic mathematics (03F55)
Related Items (16)
Game Semantics and the Manifestation Thesis ⋮ Logical connectives for constructive modal logic ⋮ A free dialogical logic for surrogate reasoning: generation of hypothesis without ontological commitments ⋮ Who gave you the Cauchy-Weierstrass tale? The dual history of rigorous calculus ⋮ Game theoretic analysis of call-by-value computation ⋮ Strict finitism and feasibility ⋮ Game-theoretic analysis of call-by-value computation ⋮ First-order dialogical games and tableaux ⋮ A curious dialogical logic and its composition problem ⋮ Free \(\mu\)-lattices ⋮ Dialogue games for many-valued logics -- an overview ⋮ GAME SEMANTICS AND THE GEOMETRY OF BACKTRACKING: A NEW COMPLEXITY ANALYSIS OF INTERACTION ⋮ Dialog ⋮ A game-semantic model of computation ⋮ Dialogues, strategies, and intuitionistic provability ⋮ Connecting Sequent Calculi with Lorenzen-Style Dialogue Games
This page was built for publication:
