Topological aspects of matrix abduction. I

DOI10.1007/978-3-319-15368-1_16zbMATH Open1371.06002OpenAlexW1499666395MaRDI QIDQ5350342FDOQ5350342

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

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

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)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Embedding finite posets in cubes
• The representation of posets and lattices by sets
• On the pseudodimension of ordered sets
• Analysis of the Talmudic argumentum a fortiori inference rule (Kal Vachomer) using matrix abduction

Cited In (4)

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

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)