Connectionist computations of intuitionistic reasoning (Q2503271): Difference between revisions

@@ Property / author @@
+Artur S. d'Avila Garcez
@@ Property / author: Artur S. d'Avila Garcez / rank @@
+Normal rank
@@ Property / author @@
+Luís C. Lamb
@@ Property / author: Luís C. Lamb / rank @@
+Normal rank
@@ Property / author @@
+Dov M. Gabbay
@@ Property / author: Dov M. Gabbay / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+MiniML
@@ Property / describes a project that uses: MiniML / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.tcs.2005.11.043
+Normal rank
@@ Property / OpenAlex ID @@
+W2029518327
@@ Property / OpenAlex ID: W2029518327 / rank @@
+Normal rank
@@ Property / cites work @@
+Computational interpretations of linear logic
@@ Property / cites work: Computational interpretations of linear logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q4785506
@@ Property / cites work: Q4785506 / rank @@
+Normal rank
@@ Property / cites work @@
+Explicit Provability and Constructive Semantics
@@ Property / cites work: Explicit Provability and Constructive Semantics / rank @@
+Normal rank
@@ Property / cites work @@
+Q2753374
@@ Property / cites work: Q2753374 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2744124
@@ Property / cites work: Q2744124 / rank @@
+Normal rank
@@ Property / cites work @@
+Preferred answer sets for extended logic programs
@@ Property / cites work: Preferred answer sets for extended logic programs / rank @@
+Normal rank
@@ Property / cites work @@
+Labelled Natural Deduction for Conditional Logics of Normality
+Normal rank
@@ Property / cites work @@
+Q3128959
@@ Property / cites work: Q3128959 / rank @@
+Normal rank
@@ Property / cites work @@
+Approximation by superpositions of a sigmoidal function
+Normal rank
@@ Property / cites work @@
+Q4342082
@@ Property / cites work: Q4342082 / rank @@
+Normal rank
@@ Property / cites work @@
+A modal analysis of staged computation
@@ Property / cites work: A modal analysis of staged computation / rank @@
+Normal rank
@@ Property / cites work @@
+Symbolic knowledge extraction from trained neural networks: A sound approach
+Normal rank
@@ Property / cites work @@
+Q4806970
@@ Property / cites work: Q4806970 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4845472
@@ Property / cites work: Q4845472 / rank @@
+Normal rank
@@ Property / cites work @@
+Proof methods for modal and intuitionistic logics
@@ Property / cites work: Proof methods for modal and intuitionistic logics / rank @@
+Normal rank
@@ Property / cites work @@
+Many-dimensional modal logics: theory and applications
+Normal rank
@@ Property / cites work @@
+Q4894942
@@ Property / cites work: Q4894942 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3835817
@@ Property / cites work: Q3835817 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4843185
@@ Property / cites work: Q4843185 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3983043
@@ Property / cites work: Q3983043 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4451078
@@ Property / cites work: Q4451078 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4936225
@@ Property / cites work: Q4936225 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4953875
@@ Property / cites work: Q4953875 / rank @@
+Normal rank
@@ Property / cites work @@
+Monad as modality
@@ Property / cites work: Monad as modality / rank @@
+Normal rank
@@ Property / cites work @@
+Q3339245
@@ Property / cites work: Q3339245 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4413266
@@ Property / cites work: Q4413266 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3328540
@@ Property / cites work: Q3328540 / rank @@
+Normal rank
@@ Property / cites work @@
+Characterising combinational timing analyses in intuitionistic modal logic
+Normal rank
@@ Property / cites work @@
+Q4398828
@@ Property / cites work: Q4398828 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4222777
@@ Property / cites work: Q4222777 / rank @@
+Normal rank
@@ Property / cites work @@
+Semantics of distributed definite clause programs
@@ Property / cites work: Semantics of distributed definite clause programs / rank @@
+Normal rank
@@ Property / cites work @@
+Tensor product variable binding and the representation of symbolic structures in connectionist systems
+Normal rank
@@ Property / cites work @@
+Knowledge-based artificial neural networks
@@ Property / cites work: Knowledge-based artificial neural networks / rank @@
+Normal rank
@@ Property / cites work @@
+A theory of the learnable
@@ Property / cites work: A theory of the learnable / rank @@
+Normal rank
@@ Property / cites work @@
+Robust logics
@@ Property / cites work: Robust logics / rank @@
+Normal rank
@@ Property / cites work @@
+The Semantics of Predicate Logic as a Programming Language
+Normal rank
@@ Property / cites work @@
+Q4856771
@@ Property / cites work: Q4856771 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4353561
@@ Property / cites work: Q4353561 / rank @@
+Normal rank