Topological aspects of matrix abduction. I

DOI10.1007/978-3-319-15368-1_16MaRDI QIDQ5350342zbMATH OpenOpenAlexFDO

Authors Azriel Laufer, Dov Gabbay

Publication date 28 August 2017

Published in Studies in Universal Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-319-15368-1_16

zbMATH Keywords

graph theorypartially ordered setsposet dimensionmatrix abductionKal Vachomer

Mathematics Subject Classification ID

Probability and inductive logic (03B48) Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.) (68Q17) Combinatorics of partially ordered sets (06A07) Other applications of logic (03B80)

Recommendations

• Analysis of the Talmudic argumentum a fortiori inference rule (Kal Vachomer) using matrix abduction
• Topological aspects of matrix abduction. II
• Intuitive minimal abduction in sequent calculi
• On rules of abduction.
• scientific article; zbMATH DE number 512816

Cites work

• scientific article; zbMATH DE number 3172309 (Why is no real title available?)
• scientific article; zbMATH DE number 3859178 (Why is no real title available?)
• scientific article; zbMATH DE number 3974960 (Why is no real title available?)
• scientific article; zbMATH DE number 53952 (Why is no real title available?)
• Analysis of the Talmudic argumentum a fortiori inference rule (Kal Vachomer) using matrix abduction
• Embedding finite posets in cubes
• On the pseudodimension of ordered sets
• The representation of posets and lattices by sets

Cited in

(4)

• Topological aspects of matrix abduction. II
• Important matrix computations in finite topological spaces
• Analysis of the Talmudic argumentum a fortiori inference rule (Kal Vachomer) using matrix abduction
• Topological properties of J-orthogonal matrices

This page was built for publication: Topological aspects of matrix abduction. I

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5350342)